diff --git a/typed-racket-lib/typed-racket/types/abbrev.rkt b/typed-racket-lib/typed-racket/types/abbrev.rkt
index ff7e7e68..87fd3bb8 100644
--- a/typed-racket-lib/typed-racket/types/abbrev.rkt
+++ b/typed-racket-lib/typed-racket/types/abbrev.rkt
@@ -115,8 +115,9 @@
 (define/decl -Pattern (Un -Bytes -Regexp -Byte-Regexp -String))
 (define/decl -Keyword (make-Base 'Keyword #'keyword? keyword?))
 (define/decl -Thread (make-Base 'Thread #'thread? thread?))
+(define/decl -Path (make-Base 'Path #'path? path?))
 (define/decl -Module-Path
-  (Un -Symbol -String
+  (Un -Symbol -String -Path
       (-lst* (-val 'quote) -Symbol)
       (-lst* (-val 'lib) -String)
       (-lst* (-val 'file) -String)
@@ -139,7 +140,6 @@
 	     (conjoin  compiled-expression? (negate compiled-module-expression?))))
 (define/decl -Compiled-Expression (Un -Compiled-Module-Expression -Compiled-Non-Module-Expression))
 (define/decl -Cont-Mark-Set (make-Base 'Continuation-Mark-Set #'continuation-mark-set? continuation-mark-set?))
-(define/decl -Path (make-Base 'Path #'path? path?))
 (define/decl -OtherSystemPath
   (make-Base 'OtherSystemPath
 	     #'(and/c path-for-some-system? (not/c path?))
diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt
index 2f72f53e..52fef588 100644
--- a/typed-racket-test/unit-tests/typecheck-tests.rkt
+++ b/typed-racket-test/unit-tests/typecheck-tests.rkt
@@ -1730,6 +1730,11 @@
               #:ret (ret -Boolean -true-filter))
         (tc-e (let: ((e : Compiled-Expression (compile #'(module + racket 2))))
                 (compiled-module-expression? e)) -Boolean)
+        
+        ;Dynamic Require
+        (tc-e (dynamic-require "module/path" #f) -Void)
+        (tc-e (dynamic-require 'module/path #f) -Void)
+        (tc-e (dynamic-require (string->path "module/path") #f) -Void)
 
         ;Impersonator Property
         (tc-e (make-impersonator-property 'prop)