diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss
index 7cfabc717c..1f0fe5b965 100644
--- a/collects/web-server/info.ss
+++ b/collects/web-server/info.ss
@@ -1,8 +1,5 @@
 (module info (lib "infotab.ss" "setup")
-  (define name "Web Server")
-
-  (define compile-subcollections 
-    (list))
+  (define name "Web Server")  
   
   (define mzscheme-launcher-libraries
     (list "private/launch-text.ss" "private/setup-launch.ss" ))