diff --git a/collects/typed-scheme/ts-guide.scrbl b/collects/typed-scheme/ts-guide.scrbl
index e6e1845ca5..f662e135cb 100644
--- a/collects/typed-scheme/ts-guide.scrbl
+++ b/collects/typed-scheme/ts-guide.scrbl
@@ -14,6 +14,8 @@
 
 @author["Sam Tobin-Hochstadt"]
 
+@index["typecheck"]
+
 Typed Scheme is a Scheme-like language, with a type system that
 supports common Scheme programming idioms.  Explicit type declarations
 are required --- that is, there is no type inference.  The language