diff --git a/collects/help/servlets/private/read-doc.ss b/collects/help/servlets/private/read-doc.ss
index 3ff668c16e..52530dfdbf 100644
--- a/collects/help/servlets/private/read-doc.ss
+++ b/collects/help/servlets/private/read-doc.ss
@@ -33,7 +33,8 @@
 	  `(HTML
 	    (HEAD (TITLE "PLT Help Desk") 
 		  ,hd-css)
-	    ,(read-lines file caption offset)))))
+            (BODY
+             ,(read-lines file caption offset))))))
 
   (define read-doc 
     (opt-lambda (file caption coll [offset #f])