diff --git a/collects/lang/run-teaching-program.rkt b/collects/lang/run-teaching-program.rkt
index 7eb9069c2a..077f281e83 100644
--- a/collects/lang/run-teaching-program.rkt
+++ b/collects/lang/run-teaching-program.rkt
@@ -64,7 +64,7 @@
                                   ;; over to the one that is used in the REPL when module->namepsace
                                   ;; grabs a hold of this module to make a namespace for the REPL
                                   `(,(syntax-property
-                                      #'(define test~object (namespace-variable-value 'test~object))
+                                      #`(define #,(datum->syntax #f 'test~object) (namespace-variable-value 'test~object))
                                       'test-call #t)))
                               '())
                         ,@body-exps)))))]