diff --git a/collects/redex/examples/info.ss b/collects/redex/examples/info.ss
index 8e947b6c8e..fee887adb0 100644
--- a/collects/redex/examples/info.ss
+++ b/collects/redex/examples/info.ss
@@ -1,2 +1,3 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "Reduction Semantics examples"))
+#lang setup/infotab
+
+(define name "Reduction Semantics examples")
diff --git a/collects/redex/info.ss b/collects/redex/info.ss
index 05a37dba0c..33e3e65421 100644
--- a/collects/redex/info.ss
+++ b/collects/redex/info.ss
@@ -1,10 +1,11 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "PLT Redex")
-  (define doc.txt "doc.txt")
-  (define homepage
-    "http://people.cs.uchicago.edu/~robby/plt-redex/")
-  (define blurb
-    (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper.")))
-  (define required-core-version "371.4")
-  (define primary-file "reduction-semantics.ss")
-  (define categories '(metaprogramming)))
\ No newline at end of file
+#lang setup/infotab
+
+(define name "PLT Redex")
+(define doc.txt "doc.txt")
+(define homepage
+  "http://people.cs.uchicago.edu/~robby/plt-redex/")
+(define blurb
+  (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper.")))
+(define required-core-version "371.4")
+(define primary-file "reduction-semantics.ss")
+(define categories '(metaprogramming))
diff --git a/collects/redex/private/info.ss b/collects/redex/private/info.ss
deleted file mode 100644
index 7591fe36a2..0000000000
--- a/collects/redex/private/info.ss
+++ /dev/null
@@ -1,2 +0,0 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "PLT Redex private"))