diff --git a/collects/handin-server/web-status-server.rkt b/collects/handin-server/web-status-server.rkt
index a6034b299f..6c20da0d3e 100644
--- a/collects/handin-server/web-status-server.rkt
+++ b/collects/handin-server/web-status-server.rkt
@@ -5,7 +5,7 @@
          racket/file
          racket/date
          net/uri-codec
-         web-server/servlet
+         web-server/compat/0/servlet
          handin-server/private/md5
          handin-server/private/logger
          handin-server/private/config