diff --git a/collects/xrepl/xrepl.rkt b/collects/xrepl/xrepl.rkt
index 7e3588f1ec..44e8f7cf65 100644
--- a/collects/xrepl/xrepl.rkt
+++ b/collects/xrepl/xrepl.rkt
@@ -1189,7 +1189,7 @@
         (λ ()
           (let loop ()
             (match (sync r)
-              [(vector l m v)
+              [(vector l m v name)
                (display (format "; [~a] ~a~a\n"
                                 l m (if v (format " ~.s" v) "")))
                (flush-output)])