diff --git a/collects/macro-debugger/model/deriv-parser.rkt b/collects/macro-debugger/model/deriv-parser.rkt
index 7b7a36c..4eed82b 100644
--- a/collects/macro-debugger/model/deriv-parser.rkt
+++ b/collects/macro-debugger/model/deriv-parser.rkt
@@ -130,7 +130,7 @@
      [(enter-check (? CheckImmediateMacro/Inner) exit-check)
       ($2 $1 $3)])
     (CheckImmediateMacro/Inner
-    (#:args le1 e2)
+     (#:args le1 e2)
      [(!)
       (make p:stop le1 e2 null $1)]
      [(visit Resolves (? MacroStep) return (? CheckImmediateMacro/Inner))
diff --git a/collects/macro-debugger/syntax-browser/display.rkt b/collects/macro-debugger/syntax-browser/display.rkt
index 6232a1e..948e891 100644
--- a/collects/macro-debugger/syntax-browser/display.rkt
+++ b/collects/macro-debugger/syntax-browser/display.rkt
@@ -106,12 +106,12 @@
       (define lazy-interval-map-init
         (delay
           (with-log-time "forcing clickback mapping"
-          (uninterruptible
-           (for ([range (send/i range range<%> all-ranges)])
-             (let ([stx (range-obj range)]
-                   [start (range-start range)]
-                   [end (range-end range)])
-               (interval-map-set! mapping (+ start-position start) (+ start-position end) stx)))))))
+           (uninterruptible
+            (for ([range (send/i range range<%> all-ranges)])
+              (let ([stx (range-obj range)]
+                    [start (range-start range)]
+                    [end (range-end range)])
+                (interval-map-set! mapping (+ start-position start) (+ start-position end) stx)))))))
       (define (the-callback position)
         (force lazy-interval-map-init)
         (send/i controller selection-manager<%> set-selected-syntax
@@ -123,7 +123,7 @@
     ;; Clears all highlighting and reapplies all non-foreground styles.
     (define/public (refresh)
       (with-log-time "refresh"
-      (with-unlock text
+       (with-unlock text
         (uninterruptible
          (let ([undo-select/highlight-d (get-undo-select/highlight-d)])
            (for ([r (in-list to-undo-styles)])
diff --git a/collects/macro-debugger/syntax-browser/widget.rkt b/collects/macro-debugger/syntax-browser/widget.rkt
index 2a1bda3..ebda9ac 100644
--- a/collects/macro-debugger/syntax-browser/widget.rkt
+++ b/collects/macro-debugger/syntax-browser/widget.rkt
@@ -134,32 +134,32 @@
         (define range (send/i display display<%> get-range))
         (define offset (send/i display display<%> get-start-position))
         (with-log-time "substitutions"
-        (for ([subst (in-list substitutions)])
-          (for ([r (in-list (send/i range range<%> get-ranges (car subst)))])
-            (send -text insert (cdr subst)
-                  (+ offset (car r))
-                  (+ offset (cdr r))
-                  #f)
-            (send -text change-style
-                  (code-style -text (send/i config config<%> get-syntax-font-size))
-                  (+ offset (car r))
-                  (+ offset (cdr r))
-                  #f))))
+         (for ([subst (in-list substitutions)])
+           (for ([r (in-list (send/i range range<%> get-ranges (car subst)))])
+             (send -text insert (cdr subst)
+                   (+ offset (car r))
+                   (+ offset (cdr r))
+                   #f)
+             (send -text change-style
+                   (code-style -text (send/i config config<%> get-syntax-font-size))
+                   (+ offset (car r))
+                   (+ offset (cdr r))
+                   #f))))
         ;; Apply highlighting
         (with-log-time "highlights"
-        (for ([hi-stxs (in-list hi-stxss)] [hi-color (in-list hi-colors)])
-          (send/i display display<%> highlight-syntaxes hi-stxs hi-color)))
+         (for ([hi-stxs (in-list hi-stxss)] [hi-color (in-list hi-colors)])
+           (send/i display display<%> highlight-syntaxes hi-stxs hi-color)))
         ;; Underline binders (and shifted binders)
         (with-log-time "underline binders"
-        (send/i display display<%> underline-syntaxes
-                (let ([binder-list (hash-map binders (lambda (k v) k))])
-                  (append (apply append (map get-shifted binder-list))
-                          binder-list))))
+         (send/i display display<%> underline-syntaxes
+                 (let ([binder-list (hash-map binders (lambda (k v) k))])
+                   (append (apply append (map get-shifted binder-list))
+                           binder-list))))
         (send display refresh)
 
         ;; Make arrows (& billboards, when enabled)
         (with-log-time "add arrows"
-        (when (send config get-draw-arrows?)
+         (when (send config get-draw-arrows?)
           (define (definite-phase id)
             (and definites
                  (or (eomap-ref definites id #f)