diff --git a/collects/scribble/info.ss b/collects/scribble/info.ss
index 377ded9a..eb45b45d 100644
--- a/collects/scribble/info.ss
+++ b/collects/scribble/info.ss
@@ -1,5 +1,6 @@
-(module info setup/infotab
-  (define name "Scribble")
-  (define mzscheme-launcher-names '("scribble"))
-  (define mzscheme-launcher-libraries '("scribble.ss"))
-  (define compile-omit-files '("test-reader.ss")))
+#lang setup/infotab
+
+(define name "Scribble")
+(define mzscheme-launcher-names '("scribble"))
+(define mzscheme-launcher-libraries '("scribble.ss"))
+(define compile-omit-files '("test-reader.ss"))
diff --git a/collects/scribblings/scribble/how-to.scrbl b/collects/scribblings/scribble/how-to.scrbl
index 2e66bd9e..c66e8566 100644
--- a/collects/scribblings/scribble/how-to.scrbl
+++ b/collects/scribblings/scribble/how-to.scrbl
@@ -60,9 +60,9 @@ EOS
         @filepath{info.ss} module, here's a suitable complete module:
 
         @schemeblock[
-          (module info setup/infotab
-            (define name "Some documentation")
-            (define scribblings '(("manual.scrbl" ()))))
+          #lang setup/infotab
+          (define name "Some documentation")
+          (define scribblings '(("manual.scrbl" ())))
         ]}
 
   @item{Run @exec{setup-plt} to build your documentation. For a
diff --git a/collects/scribblings/scribble/info.ss b/collects/scribblings/scribble/info.ss
index 0ee0084b..933d3c25 100644
--- a/collects/scribblings/scribble/info.ss
+++ b/collects/scribblings/scribble/info.ss
@@ -1,4 +1,5 @@
-(module info setup/infotab
-  (define name "Scribblings: Scribble")
-  (define scribblings '(("scribble.scrbl" (multi-page))))
-  (define doc-categories '(tool)))
+#lang setup/infotab
+
+(define name "Scribblings: Scribble")
+(define scribblings '(("scribble.scrbl" (multi-page))))
+(define doc-categories '(tool))