diff --git a/collects/tests/typed-racket/succeed/internal-typed-submod.rkt b/collects/tests/typed-racket/succeed/internal-typed-submod.rkt
new file mode 100644
index 00000000..f8362711
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/internal-typed-submod.rkt
@@ -0,0 +1,11 @@
+#lang typed/racket
+ 
+(module zoo typed/racket
+  (provide tiger)
+  
+  (: tiger String)
+  (define tiger "Tony"))
+ 
+(require 'zoo)           
+ 
+tiger
diff --git a/collects/typed-racket/env/env-req.rkt b/collects/typed-racket/env/env-req.rkt
index cc70acb5..dde5ae48 100644
--- a/collects/typed-racket/env/env-req.rkt
+++ b/collects/typed-racket/env/env-req.rkt
@@ -1,5 +1,5 @@
 #lang racket/base
-
+(require syntax/modcollapse)
 (define to-require null)
 (define (add-mod! m)
   (set! to-require (cons m to-require)))
@@ -8,6 +8,7 @@
   (parameterize ([current-namespace ns])
     (for ([m (in-list to-require)]
           #:when m)
-      (dynamic-require `(submod ,m #%type-decl) #f))))
+      (dynamic-require (collapse-module-path '(submod "." #%type-decl) m)
+                       #f))))
 
 (provide add-mod! do-requires)
\ No newline at end of file