diff --git a/collects/help/help.ss b/collects/help/help.ss
index e5d68c13..356dd5c0 100644
--- a/collects/help/help.ss
+++ b/collects/help/help.ss
@@ -6,7 +6,7 @@
 	   (lib "server.ss" "help")
 	   (lib "browser.ss" "help"))	
 
-  (require (lib "exit.ss" "doc" "help" "servlets" "private"))
+  (require (lib "exit.ss" "help" "servlets" "private"))
 
   (define hd-cookie (start-help-server))
   (define help-desk-port (hd-cookie->port hd-cookie))
diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
index 8ff488ac..3de1128e 100644
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@@ -3,9 +3,9 @@
            "docpos.ss"
            "colldocs.ss"
            (lib "list.ss")
-	   (lib "util.ss" "doc" "help" "servlets" "private")
-           "../server.ss"
-           "../browser.ss")
+	   (lib "util.ss" "help" "servlets" "private")
+           (lib "server.ss" "help")
+           (lib "browser.ss" "help"))
   
   (provide do-search
            doc-collections-changed