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