diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss
index e6c2af52b9..4abc65ddb2 100644
--- a/collects/handin-server/web-status-server.ss
+++ b/collects/handin-server/web-status-server.ss
@@ -230,6 +230,8 @@
          [user      (aget bindings 'user)]
          [passwd    (aget bindings 'passwd)]
          [user      (and user (clean-str user))]
+         [user      (and user (if (get-conf 'username-case-sensitive)
+                                user (string-foldcase user)))]
          [user-data (get-user-data user)])
     (cond [(and user-data
                 (string? passwd)