diff --git a/collects/macro-debugger/model/deriv-parser.rkt b/collects/macro-debugger/model/deriv-parser.rkt
index 48c37e7..d238e74 100644
--- a/collects/macro-debugger/model/deriv-parser.rkt
+++ b/collects/macro-debugger/model/deriv-parser.rkt
@@ -118,6 +118,7 @@
     ;; Evaluation
     ;; Answer = (listof LocalAction)
     (Eval
+     (#:skipped null)
      [((? LocalActions)) $1])
 
     ;; Prepare env for compilation
diff --git a/collects/macro-debugger/model/reductions.rkt b/collects/macro-debugger/model/reductions.rkt
index a7ae869..7fe9d9a 100644
--- a/collects/macro-debugger/model/reductions.rkt
+++ b/collects/macro-debugger/model/reductions.rkt
@@ -221,7 +221,7 @@
 
     [(Wrap p:provide (e1 e2 rs ?1 inners ?2))
      (let ([wrapped-inners
-            (for/list ([inner inners])
+            (for/list ([inner (in-list inners)])
               (match inner
                 [(Wrap deriv (e1 e2))
                  (make local-expansion e1 e2