diff --git a/collects/web-server/formlets.ss b/collects/web-server/formlets.ss
index c3ea043e1c..2d5df1edee 100644
--- a/collects/web-server/formlets.ss
+++ b/collects/web-server/formlets.ss
@@ -1,7 +1,11 @@
 #lang scheme
-(require web-server/formlets/formlets
+(require web-server/formlets/syntax
          web-server/formlets/input
-         web-server/formlets/servlet)
+         web-server/formlets/servlet
+         web-server/formlets/lib)
 (provide (all-from-out web-server/formlets/servlet)
          (all-from-out web-server/formlets/input)
-         (all-from-out web-server/formlets/formlets))
\ No newline at end of file
+         (all-from-out web-server/formlets/syntax)
+         formlet/c
+         formlet-display
+         formlet-process)
\ No newline at end of file
diff --git a/collects/web-server/formlets/formlets.ss b/collects/web-server/formlets/syntax.ss
similarity index 95%
rename from collects/web-server/formlets/formlets.ss
rename to collects/web-server/formlets/syntax.ss
index dbd161e4f8..d82f01e69b 100644
--- a/collects/web-server/formlets/formlets.ss
+++ b/collects/web-server/formlets/syntax.ss
@@ -48,7 +48,4 @@
        (cross (pure (match-lambda [#,(cross-of #'q) e]))
               #,(circ-of #'q)))]))
 
-(provide formlet
-         formlet/c
-         formlet-display
-         formlet-process)
\ No newline at end of file
+(provide formlet)
\ No newline at end of file