diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl
index e3cb41119e..50a7cb1949 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl
+++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/ts-guide.scrbl
@@ -15,7 +15,10 @@
 Typed Racket is a family of languages, each of which enforce
 that programs written in the language obey a type system that ensures
 the absence of many common errors.  This guide is intended for programmers familiar
-with Racket.  For an introduction to Racket, see the @(other-manual '(lib "scribblings/guide/guide.scrbl")).
+with Racket.  For an introduction to Racket, see @(other-manual '(lib "scribblings/guide/guide.scrbl")).
+
+For the precise details, also see
+@other-doc['(lib "typed-racket/scribblings/ts-reference.scrbl")].
 
 @local-table-of-contents[]