diff --git a/collects/help/servlets/private/url.ss b/collects/help/servlets/private/url.ss
index 856b6fad1f..059d97eb69 100644
--- a/collects/help/servlets/private/url.ss
+++ b/collects/help/servlets/private/url.ss
@@ -23,7 +23,7 @@
             (version-major) manual))
 
   (define (url-static doc manual path)
-    (format "~astatic.ss/~a/~a/"
+    (format "~astatic.ss/~a/~a/~a"
             url-helpdesk-root doc manual path))
 
   (define url-external-announcement-list-archive     "http://list.cs.brown.edu/pipermail/plt-announce/")