diff --git a/typed-racket-test/historical-counterexamples.rkt b/typed-racket-test/historical-counterexamples.rkt
index 3874678a..4c2b4c6b 100644
--- a/typed-racket-test/historical-counterexamples.rkt
+++ b/typed-racket-test/historical-counterexamples.rkt
@@ -1795,7 +1795,8 @@
 
     ))
 
-(for ([c counterexamples])
-  (unless (check-all-reals c)
-    (displayln c (current-error-port))
-    (newline (current-error-port))))
+(parameterize ([current-output-port (current-error-port)])
+  (for ([c counterexamples])
+    (unless (check-all-reals c)
+      (displayln c)
+      (newline))))