diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt
index de3daaf69f..33dfb0a261 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt
@@ -6,7 +6,6 @@
                      "scheme-lib"
                      "srfi-lite-lib"
                      "compatibility-doc"
-                     "srfi-doc"
                      "compatibility-lib"
                      "sandbox-lib"
                      "at-exp-lib"
diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
index 7a08d3f9aa..2898efc504 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
+++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
@@ -23,7 +23,7 @@ The @racketmodname[typed/racket/base] language corresponds to the
 
 Some libraries have counterparts in the @racketidfont{typed}
 collection, which provide the same exports as the untyped versions.
-Such libraries include @racketmodname[srfi/14],
+Such libraries include @racketmodname[srfi/14 #:indirect],
 @racketmodname[net/url], and many others.
 
 @racketmod[typed/racket