diff --git a/collects/macro-debugger/model/deriv-parser.ss b/collects/macro-debugger/model/deriv-parser.ss
index 15efd88..4cf815a 100644
--- a/collects/macro-debugger/model/deriv-parser.ss
+++ b/collects/macro-debugger/model/deriv-parser.ss
@@ -466,11 +466,12 @@
 
       ;; BindSyntaxes Answer = Derivation
       (BindSyntaxes
-       [(phase-up (? EE/LetLifts) Eval) $2])
+       [(phase-up (? EE/LetLifts) ! Eval) $2])
       
       ;; NextBindSyntaxess Answer = (list-of Derivation)
       (NextBindSyntaxess
        (#:skipped null)
+       (#:no-wrap)
        [() null]
        [(next (? BindSyntaxes 'first) (? NextBindSyntaxess 'rest)) (cons $2 $3)])
       
diff --git a/collects/macro-debugger/model/reductions.ss b/collects/macro-debugger/model/reductions.ss
index 70c19a9..69e51a3 100644
--- a/collects/macro-debugger/model/reductions.ss
+++ b/collects/macro-debugger/model/reductions.ss
@@ -6,6 +6,7 @@
            "context.ss"
            "deriv.ss"
            "reductions-engine.ss")
+
   (provide reductions)
 
   ;; Setup for reduction-engines
@@ -266,7 +267,9 @@
 
       ;; Skipped
       
-      [#f null]))
+      [#f null]
+      
+      #;[else (error 'reductions "unmatched case: ~s" d)]))
 
   ;; reductions-transformation : Transformation -> ReductionSequence
   (define (reductions-transformation tx)
diff --git a/collects/macro-debugger/syntax-browser/partition.ss b/collects/macro-debugger/syntax-browser/partition.ss
index 2704181..8a25624 100644
--- a/collects/macro-debugger/syntax-browser/partition.ss
+++ b/collects/macro-debugger/syntax-browser/partition.ss
@@ -150,7 +150,6 @@
     (make-parameter
      `(("<nothing>" . #f)
        ("bound-identifier=?"  . ,bound-identifier=?)
-       ("same marks" . ,id:same-marks?)
        ("module-identifier=?" . ,module-identifier=?)
        ("module-or-top-identifier=?" . ,module-or-top-identifier=?)
        ("symbolic-identifier=?" . ,symbolic-identifier=?)
diff --git a/collects/macro-debugger/view/hiding-panel.ss b/collects/macro-debugger/view/hiding-panel.ss
index b8c25c7..1d22e75 100644
--- a/collects/macro-debugger/view/hiding-panel.ss
+++ b/collects/macro-debugger/view/hiding-panel.ss
@@ -100,6 +100,7 @@
       ;; enable-hiding : boolean -> void
       ;; Called only by stepper, which does it's own refresh
       (define/public (enable-hiding ok?)
+        (send enable-ctl set-value ok?)
         (set! enabled? ok?))
       
       ;; get-enabled?