diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl
index 9342e933dd..c1455813eb 100644
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@@ -178,7 +178,6 @@ needed to check the desired bounds at runtime.
 @defidform[Output-Port]
 @defidform[Port]
 @defidform[Path]
-@defidform[Path-String]
 @defidform[Path-For-Some-System]
 @defidform[Regexp]
 @defidform[PRegexp]
@@ -241,6 +240,12 @@ These types represent primitive Racket data.
 ]
 }
 
+@defidform[Path-String]{ The union of the @racket[Path] and
+@racket[String] types.  Note that this includes some strings where
+@racket[path-string?] produces @racketresult[false], such as strings
+that contain the character @racket[#\nul].}
+
+
 @section{Singleton Types}
 
 Some kinds of data are given singleton types by default.  In