diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
index 24d0477b..13bb7549 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
@@ -166,7 +166,9 @@
    ;; finite approximation of the type
    ;;   (-> ... 2 args ... (List Pathlike ..._n) -> (List Path ..._n))
    (cl->* (-> -Variable-Reference (Un (-> -Path) (-> -Void))
-              (-pair -Pathlike (-val null))
+              (-pair (Un -Pathlike
+                         (-pair (-val 'lib) (-pair -Pathlike (-lst -Pathlike))))
+                     (-val null))
               (-pair -Path (-val null)))
           ;; this case is for `define-runtime-module-path-index`
           (-> -Variable-Reference (Un (-> -Path) (-> -Void))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/runtime-path.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/runtime-path.rkt
index ed936960..06252c32 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/runtime-path.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/runtime-path.rkt
@@ -3,6 +3,7 @@
 (require racket/runtime-path)
 
 (define-runtime-path foo "bar")
+(define-runtime-path foo2 '(lib "racket"))
 (define-runtime-paths (bar baz) (values "bar" "baz"))
 (define-runtime-module-path-index x "quux")
 (define-runtime-module-path z "with-type.rkt")