diff --git a/collects/setup/parallel-build.rkt b/collects/setup/parallel-build.rkt
index a4f4e93f93..0bf98f9ed6 100644
--- a/collects/setup/parallel-build.rkt
+++ b/collects/setup/parallel-build.rkt
@@ -28,7 +28,7 @@
             (when last ((collects-queue-printer jobqueue) (current-output-port) "made" "~a" cc-name )))]
         [else
           (match work 
-            [(list (list cc file last) message)
+            [(list-rest (list cc file last) message)
               ((collects-queue-append-error jobqueue) cc "making" null "" "" "error")
               (eprintf "work-done match cc failed.\n")
               (eprintf "trying to match:\n~a\n" (list work msg))])]))