diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/env-req.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/env-req.rkt
index e2ea0fe83a..f4c3957380 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/env-req.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/env-req.rkt
@@ -8,7 +8,7 @@
   (parameterize ([current-namespace ns])
     (for ([m (in-list to-require)]
           #:when m)
-      (dynamic-require (collapse-module-path '(submod "." #%type-decl) m)
+      (dynamic-require (module-path-index-join '(submod "." #%type-decl) m)
                        #f))))
 
 (provide add-mod! do-requires)
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
index 0c99cdcd5f..87beb73cc9 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
@@ -392,7 +392,8 @@
                    (match a
                      [(list from to)
                       #`(add-alias (quote-syntax #,from) (quote-syntax #,to))]))))
-          (begin-for-syntax (add-mod! (quote-module-path))))
+          (begin-for-syntax (add-mod! (variable-reference->module-path-index
+                                       (#%variable-reference)))))
       #`(begin
           #,(if (null? (syntax-e #'(new-provs ...)))
                 #'(begin)