diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl
index a7ecde1e..53a97c60 100644
--- a/collects/typed-scheme/scribblings/ts-reference.scrbl
+++ b/collects/typed-scheme/scribblings/ts-reference.scrbl
@@ -23,6 +23,7 @@
                  #:use-sources 
                     (typed-scheme/typed-scheme
                      typed-scheme/private/prims
+                     typed-scheme/private/extra-procs
                      typed-scheme/private/base-types 
                      typed-scheme/private/base-types-extra))
 
@@ -906,6 +907,7 @@ languages. The @racketmod[typed-scheme] language is equivalent to the
                     #:use-sources 
                     (typed-scheme/typed-scheme
                      typed-scheme/private/prims
+                     typed-scheme/private/extra-procs
                      typed-scheme/private/base-types 
                      typed-scheme/private/base-types-extra))