diff --git a/collects/stepper/private/mred-extensions.rkt b/collects/stepper/private/mred-extensions.rkt
index 14b0db24c5..6cc0e93df7 100644
--- a/collects/stepper/private/mred-extensions.rkt
+++ b/collects/stepper/private/mred-extensions.rkt
@@ -245,11 +245,10 @@
       (select-all)
       (clear)
       (reset-style)
-      (let loop ([remaining stripped-exps] [first #t])
-        (unless (null? remaining)
-          (unless first (insert #\newline))
-          (format-sexp (car remaining))
-          (loop (cdr remaining) #f)))
+      (for ([exp stripped-exps] [i (in-naturals)])
+        (unless (= i 0)
+          (insert #\newline))
+        (format-sexp exp))
       (end-edit-sequence)
       (lock #t))