diff --git a/collects/handin-server/run-servlet.rkt b/collects/handin-server/run-servlet.rkt
index 751036c4bf..007fa1359e 100644
--- a/collects/handin-server/run-servlet.rkt
+++ b/collects/handin-server/run-servlet.rkt
@@ -67,7 +67,6 @@
 
 (provide run-servlet)
 (define (run-servlet dispatcher
-                     #:namespace [namespace '()]
                      #:log-file [log-file #f])
   ;; a channel for incoming requests
   (define ach (make-async-channel))
@@ -100,7 +99,6 @@
            (init-path (url->string (request-uri req)))
            (dispatcher req))
          #:regexp #rx""
-         #:namespace namespace
          #:manager (make-threshold-LRU-manager
                     (send-error "Your session has expired" init-path)
                     (* 12 1024 1024))))
diff --git a/collects/handin-server/web-status-server.rkt b/collects/handin-server/web-status-server.rkt
index 05fbccab58..683e46d95e 100644
--- a/collects/handin-server/web-status-server.rkt
+++ b/collects/handin-server/web-status-server.rkt
@@ -266,11 +266,6 @@
     (begin0 (parameterize ([error-print-context-length 0])
               (run-servlet
                dispatcher
-               #:namespace '(handin-server/private/md5
-                             handin-server/private/logger
-                             handin-server/private/config
-                             handin-server/private/hooker
-                             handin-server/private/reloadable)
                #:log-file (get-conf 'web-log-file)))
       (log-line "*** embedded web server started"))
     ;; simple "server" so it's known that there is no server