diff --git a/collects/typed-scheme/info.ss b/collects/typed-scheme/info.ss
index 04910fa0..fa10f0ad 100644
--- a/collects/typed-scheme/info.ss
+++ b/collects/typed-scheme/info.ss
@@ -1,3 +1,3 @@
 #lang setup/infotab
 
-(define scribblings '(("typed-scheme.scrbl" (user-doc))))
+(define scribblings '(("typed-scheme.scrbl" ())))