diff --git a/collects/handin-server/handin-server.ss b/collects/handin-server/handin-server.ss
index 60f64e893a..a20b40564d 100644
--- a/collects/handin-server/handin-server.ss
+++ b/collects/handin-server/handin-server.ss
@@ -627,8 +627,8 @@
   (hook 'server-start `([port ,(get-conf 'port-number)]))
 
   (define stop-status
-    (cond [(get-conf 'https-port-number) => (serve-status p)]
-          [else #f]))
+    (cond [(get-conf 'https-port-number) => serve-status]
+          [else void]))
 
   (define session-count 0)