diff --git a/collects/typed-racket/env/env-req.rkt b/collects/typed-racket/env/env-req.rkt
index 8bfcafc8..363fefd2 100644
--- a/collects/typed-racket/env/env-req.rkt
+++ b/collects/typed-racket/env/env-req.rkt
@@ -18,6 +18,6 @@
     (for ([m (in-list to-require)]
           #:when m)
       ;(printf ">> loading ~a\n" m)
-      (dynamic-require `(submod ,(fix m) type-decl) #f))))
+      (dynamic-require `(submod ,(fix m) #%type-decl) #f))))
 
 (provide add-mod! do-requires module-name)
\ No newline at end of file
diff --git a/collects/typed-racket/typecheck/tc-toplevel.rkt b/collects/typed-racket/typecheck/tc-toplevel.rkt
index bc108e33..947bdcb8 100644
--- a/collects/typed-racket/typecheck/tc-toplevel.rkt
+++ b/collects/typed-racket/typecheck/tc-toplevel.rkt
@@ -342,7 +342,7 @@
      (values
       #`(begin
           (begin-for-syntax
-            (module* type-decl #f    
+            (module* #%type-decl #f    
               (require typed-racket/types/numeric-tower typed-racket/env/type-name-env
                        typed-racket/env/global-env typed-racket/env/type-alias-env)
               #,(env-init-code syntax-provide? provide-tbl def-tbl)