diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 980c8e7bd9..4f84ce913e 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -1237,11 +1237,11 @@
 [place? (make-pred-ty -Place)]
 [place-channel? (make-pred-ty -Place-Channel)]
 ;; FIXME: the `#:at` keyword is for remote places, not supported yet
-[dynamic-place (->key -Module-Path Sym
+[dynamic-place (->key (Un -Module-Path -Path) Sym
                       #:at (-val #f) #f
                       #:named (Un (-val #f) -Symbol) #f
                       -Place)]
-[dynamic-place* (->key -Module-Path Sym
+[dynamic-place* (->key (Un -Module-Path -Path) Sym
                        #:in (-opt -Input-Port) #f
                        #:out (-opt -Output-Port) #f
                        #:err (-opt -Output-Port) #f
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 9953f69d2c..42a2817110 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -1974,6 +1974,7 @@
        [tc-e (futures-enabled?) -Boolean]
        [tc-e (place-enabled?) -Boolean]
        [tc-e (dynamic-place "a.rkt" 'a #:at #f) -Place]
+       [tc-e (dynamic-place (string->path "a.rkt") 'a #:at #f) -Place]
        [tc-e (let-values
                ([(p _1 _2 _3)
                  (dynamic-place* "a.rkt" 'a #:in (open-input-string "hi"))])