diff --git a/collects/web-server/private/configure.rkt b/collects/web-server/private/configure.rkt
index 9b4ff618d6..7061864ff6 100644
--- a/collects/web-server/private/configure.rkt
+++ b/collects/web-server/private/configure.rkt
@@ -107,7 +107,7 @@
     (send/finish access-error-page))
   request)
 
-(define web-base (directory-part default-configuration-path))7
+(define web-base (directory-part default-configuration-path))
 
 ; interact : (str -> response) -> bindings
 (define (interact page)