diff --git a/collects/planet/private/cmdline-tool.rkt b/collects/planet/private/cmdline-tool.rkt
index c88a2269d0..1fc6ad35b7 100644
--- a/collects/planet/private/cmdline-tool.rkt
+++ b/collects/planet/private/cmdline-tool.rkt
@@ -212,7 +212,7 @@ This command does not unpack or install the named .plt file."
       (define (show-normals)
         (printf "Normally-installed packages:\n")
         (for-each 
-         (lambda (l) (apply printf "  ~a\t~a\t~a ~a\n" l))
+         (lambda (l) (apply printf "  ~a \t~a \t~a ~a\n" l))
          (sort-by-criteria 
           (map (lambda (x) (match x [(_ owner pkg _ maj min) (list owner pkg maj min)])) normal-packages)
           (list string<? string=?)