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 24dd8c4c..f39905ce 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
@@ -69,6 +69,7 @@ The following libraries are included with Typed Racket in the
 @defmodule/incl[typed/net/url]
 @defmodule/incl[typed/rackunit]
 @defmodule/incl[typed/srfi/14]
+@defmodule/incl[typed/syntax/stx]
 
 Other libraries included in the main distribution that are either
 written in Typed Racket or have adapter modules that are typed: