diff --git a/collects/planet/planet.scrbl b/collects/planet/planet.scrbl
index e8fc61c598..9ee6377718 100644
--- a/collects/planet/planet.scrbl
+++ b/collects/planet/planet.scrbl
@@ -751,10 +751,10 @@ though it had been downloaded from the PLaneT server with the given
 owner name and major and minor versions. After you run this command,
 you can require your package on your local machine using
 
-@racket[(require (planet <file> (<owner> <.plt file name without path> <maj> <min>)))]
+@racket[(require (planet <file> (<owner> <.plt file name> <maj> <min>)))]
 
 to verify everything works. After you do so, you can use
-@commandline{raco planet remove <owner> <.plt file name without path> <maj> <min>}
+@commandline{raco planet remove <owner> <.plt file name> <maj> <min>}
 to remove the test package from your local cache. (Not removing it is
 safe as long as you use the same name and version numbers the package
 will have on the PLaneT server; otherwise you may experience