diff --git a/collects/deinprogramm/info.ss b/collects/deinprogramm/info.ss
index 9580ccc948..517824313b 100644
--- a/collects/deinprogramm/info.ss
+++ b/collects/deinprogramm/info.ss
@@ -1,15 +1,14 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "DeinProgramm")
+#lang setup/infotab
 
-  (define tools '("deinprogramm-langs.ss"))
+(define name "DeinProgramm")
 
-  (define tool-icons '(("logo-small.png" "deinprogramm")))
-  (define tool-names '("DeinProgramm"))
-  (define tool-urls '("http://www.deinprogramm.de/dmda/"))
+(define tools '("deinprogramm-langs.ss"))
 
-  (define compile-omit-files
-    '("define-record-procedures.scm"
-      "convert-explicit.scm"
-      "line3d.scm"))) 
+(define tool-icons '(("logo-small.png" "deinprogramm")))
+(define tool-names '("DeinProgramm"))
+(define tool-urls '("http://www.deinprogramm.de/dmda/"))
 
-  
+(define compile-omit-files
+  '("define-record-procedures.scm"
+    "convert-explicit.scm"
+    "line3d.scm"))
diff --git a/collects/redex/info.ss b/collects/redex/info.ss
index 2d07279e49..99a8abe713 100644
--- a/collects/redex/info.ss
+++ b/collects/redex/info.ss
@@ -1,3 +1,4 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "PLT Redex")
-  (define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool)))))
+#lang setup/infotab
+
+(define name "PLT Redex")
+(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool))))