diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss
index 8b7dcd94..c35fa00d 100644
--- a/collects/embedded-gui/info.ss
+++ b/collects/embedded-gui/info.ss
@@ -1,4 +1,3 @@
-(module info setup/infotab
-  (define name "Embedded GUI"))
-
+#lang setup/infotab
 
+(define name "Embedded GUI")
diff --git a/collects/mrlib/scribblings/info.ss b/collects/mrlib/scribblings/info.ss
index 7cf6a42b..aded43ac 100644
--- a/collects/mrlib/scribblings/info.ss
+++ b/collects/mrlib/scribblings/info.ss
@@ -1,3 +1,4 @@
-(module info setup/infotab
-  (define name "MrLib documentation")
-  (define scribblings '(("mrlib.scrbl" (multi-page)))))
+#lang setup/infotab
+
+(define name "MrLib documentation")
+(define scribblings '(("mrlib.scrbl" (multi-page))))
diff --git a/collects/scribblings/framework/info.ss b/collects/scribblings/framework/info.ss
index f926a7d3..0283263b 100644
--- a/collects/scribblings/framework/info.ss
+++ b/collects/scribblings/framework/info.ss
@@ -1,3 +1,4 @@
-(module info setup/infotab
-  (define name "Scribblings: Framework")
-  (define scribblings '(("framework.scrbl" (#;multi-page)))))
+#lang setup/infotab
+
+(define name "Scribblings: Framework")
+(define scribblings '(("framework.scrbl" (#;multi-page))))
diff --git a/collects/scribblings/gui/info.ss b/collects/scribblings/gui/info.ss
index 06ac2ada..ab3f68b1 100644
--- a/collects/scribblings/gui/info.ss
+++ b/collects/scribblings/gui/info.ss
@@ -1,4 +1,4 @@
-(module info setup/infotab
-  (define name "Scribblings: GUI")
-  (define scribblings '(("gui.scrbl" (multi-page)))))
+#lang setup/infotab
 
+(define name "Scribblings: GUI")
+(define scribblings '(("gui.scrbl" (multi-page)))))