diff --git a/collects/help/help-desk-server.ss b/collects/help/help-desk-server.ss
index 24cbe81646..c9dad64b58 100644
--- a/collects/help/help-desk-server.ss
+++ b/collects/help/help-desk-server.ss
@@ -30,7 +30,6 @@
  (once-each
   [("-p" "--port") port "port to run on"
    (internal-port (string->number port))]))
-(printf "launch>>>> ~s\n" (internal-port))
 
 ;; start the HelpDesk server, and store a shutdown
 (define shutdown