diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss
index 47e9e20d28..24b0769d7e 100644
--- a/collects/web-server/info.ss
+++ b/collects/web-server/info.ss
@@ -4,11 +4,6 @@
                         ("docs/guide/web-guide.scrbl" (multi-page main-doc))))
   
   (define mzscheme-launcher-libraries
-    (list "private/launch-text.ss"))
+    (list "private/main.ss"))
   (define mzscheme-launcher-names
-    (list "PLT Web Server Text")) 
-
-  (define mred-launcher-libraries
-    (list "private/launch-gui.ss"))
-  (define mred-launcher-names
-    (list "PLT Web Server")))
+    (list "PLT Web Server")))
\ No newline at end of file
diff --git a/collects/web-server/private/launch-gui.ss b/collects/web-server/private/gui.ss
similarity index 100%
rename from collects/web-server/private/launch-gui.ss
rename to collects/web-server/private/gui.ss
diff --git a/collects/web-server/private/launch-text.ss b/collects/web-server/private/main.ss
similarity index 100%
rename from collects/web-server/private/launch-text.ss
rename to collects/web-server/private/main.ss