diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt
index 9dad7e3627..a5dcfff531 100644
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@@ -2267,7 +2267,8 @@
                                                      [current-trace-print-results
                                                       (λ (name results level)
                                                         (display " ")
-                                                        (otr name results level))])
+                                                        (otr name results level))]
+                                                     [print-as-expression #f])
                                         (trace-call name metafunc exp))
                                       (metafunc exp)))])
         traced-metafunc))