diff --git a/collects/tests/stepper/automatic-tests.rkt b/collects/tests/stepper/automatic-tests.rkt
index cfb6039499..be6c2cc371 100644
--- a/collects/tests/stepper/automatic-tests.rkt
+++ b/collects/tests/stepper/automatic-tests.rkt
@@ -3,9 +3,12 @@
 (require "through-tests.ss" 
          "test-engine.ss")
 
-(parameterize ([display-only-errors #t]
-               [current-output-port (open-output-string)]
-               [current-namespace (make-base-namespace)])
-  (if (run-all-tests-except '(bad-and bad-cons check-error begin-let-bug prims qq-splice time set! local-set! lazy1 lazy2 lazy3))
-      (exit 0)
-      (exit 1)))
+(let ((outer-namespace (current-namespace)))
+  (parameterize ([display-only-errors #t]
+		 [current-output-port (open-output-string)]
+		 [current-namespace (make-base-namespace)])
+    ;; make sure the tests' print-convert sees the teaching languages' properties
+    (namespace-attach-module outer-namespace 'mzlib/pconvert-prop (current-namespace))
+    (if (run-all-tests-except '(bad-and bad-cons check-error begin-let-bug prims qq-splice time set! local-set! lazy1 lazy2 lazy3))
+	(exit 0)
+	(exit 1))))