diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss
index c4416c2f21..54f53defd9 100644
--- a/collects/web-server/info.ss
+++ b/collects/web-server/info.ss
@@ -1,9 +1,15 @@
 (module info (lib "infotab.ss" "setup")
   (define name "Web Server")
+
+  (define compile-subcollections 
+    (list))
+  
   (define mzscheme-launcher-libraries
     (list "private/text-launch.ss" "private/monitor-launch.ss" "private/setup-launch.ss" ))
   (define mzscheme-launcher-names
-    (list "PLT Web Server Text" "PLT Web Server Monitor" "PLT Web Server Setup"))
+    (list "PLT Web Server Text" "PLT Web Server Monitor" "PLT Web Server Setup")) 
 
-  (define mred-launcher-libraries (list "private/gui-launch.ss"))
-  (define mred-launcher-names (list "PLT Web Server")))
+  (define mred-launcher-libraries
+    (list "private/gui-launch.ss"))
+  (define mred-launcher-names
+    (list "PLT Web Server")))
diff --git a/collects/web-server/servlet-sig.ss b/collects/web-server/servlet-sig.ss
deleted file mode 100644
index bc71109549..0000000000
--- a/collects/web-server/servlet-sig.ss
+++ /dev/null
@@ -1,6 +0,0 @@
-;; Default choice for writing signed-unit servlets
-(module servlet-sig mzscheme
-  (require "sig.ss"
-           "private/servlet-helpers.ss")
-  (provide (all-from "sig.ss")
-           (all-from "private/servlet-helpers.ss")))