@@ -4763,9 +4763,9 @@ Invoking guix time-machine
options (@pxref{Common Build Options}).
If @command{guix time-machine} is executed without any command, it
-prints the path to the guix profile that would be used to execute the
-command. This is sometimes useful if you need to get store path for the
-profile, e.g. when you want to @command{guix copy} it.
+prints the file name of the profile that would be used to execute the
+command. This is sometimes useful if you need to get store file name of
+the profile---e.g., when you want to @command{guix copy} it.
@node Inferiors
@section Inferiors