diff --git a/collects/macro-debugger/model/reductions.rkt b/collects/macro-debugger/model/reductions.rkt
index f4e17c0fd3..3b1c43d8fe 100644
--- a/collects/macro-debugger/model/reductions.rkt
+++ b/collects/macro-debugger/model/reductions.rkt
@@ -721,12 +721,14 @@
           [#:set-syntax (append stxs old-forms)]
           [ModulePass ?forms rest]])]
     [(cons (Wrap mod:lift-end (stxs)) rest)
-     (R [#:pattern ?forms]
-        [#:when (pair? stxs)
-                [#:left-foot null]
-                [#:set-syntax (append stxs #'?forms)]
-                [#:step 'splice-module-lifts stxs]]
-        [ModulePass ?forms rest])]
+     ;; In pass2, stxs contains a mixture of terms and kind-tagged terms (pairs)
+     (let ([stxs (map (lambda (e) (if (pair? e) (car e) e)) stxs)])
+       (R [#:pattern ?forms]
+          [#:when (pair? stxs)
+                  [#:left-foot null]
+                  [#:set-syntax (append stxs #'?forms)]
+                  [#:step 'splice-module-lifts stxs]]
+          [ModulePass ?forms rest]))]
     [(cons (Wrap mod:skip ()) rest)
      (R [#:pattern (?firstS . ?rest)]
         [ModulePass ?rest rest])]