diff --git a/info.rkt b/info.rkt
index 17a457b..b851188 100644
--- a/info.rkt
+++ b/info.rkt
@@ -1,3 +1,3 @@
-#lang info
+#lang setup/infotab
 
 (define collection 'multi)
diff --git a/rsc3/rsc3.rkt b/rsc3/main.rkt
similarity index 100%
rename from rsc3/rsc3.rkt
rename to rsc3/main.rkt