diff --git a/collects/handin-server/main.ss b/collects/handin-server/main.ss
index 55291a7012..2bc8ef0672 100644
--- a/collects/handin-server/main.ss
+++ b/collects/handin-server/main.ss
@@ -558,7 +558,7 @@
              (let* ([status (unbox status-box)]
                     [status (if status (format " while ~a" status) "")])
                (log-line "session killed ~a~a"
-                         (if timed-out? "(timeout) " "(memory)")
+                         (if timed-out? "(timeout)" "(memory)")
                          status)
                (write+flush
                 w (format "handin terminated due to ~a ~a~a"