diff --git a/collects/handin-server/status-web-root/servlets/status.ss b/collects/handin-server/status-web-root/servlets/status.ss
index 5eff2ee6a6..e06029f61c 100644
--- a/collects/handin-server/status-web-root/servlets/status.ss
+++ b/collects/handin-server/status-web-root/servlets/status.ss
@@ -124,7 +124,6 @@
         (all-status-page user)
         (download user tag))))
 
-  (define re:base #rx"^([a-zA-Z]*)([0-9]+)")
   (define (all-status-page user)
     (define (cell  . texts) `(td ([bgcolor "white"]) ,@texts))
     (define (rcell . texts) `(td ([bgcolor "white"] [align "right"]) ,@texts))