diff --git a/info.rkt b/info.rkt
index 37e1dbe..471bd19 100644
--- a/info.rkt
+++ b/info.rkt
@@ -3,7 +3,7 @@
 (define collection 'multi)
 
 
-(define version "0.4")
+(define version "0.5")
 
 
 (define deps
diff --git a/lens/main.rkt b/lens/main.rkt
index 1693eea..d2d058b 100644
--- a/lens/main.rkt
+++ b/lens/main.rkt
@@ -2,17 +2,13 @@
 
 (require
   "base/main.rkt"
-  "list/main.rkt"
-  "syntax.rkt"
-  "syntax-keyword.rkt")
+  "list/main.rkt")
 
 (provide
  (except-out
   (all-from-out
    "base/main.rkt"
-   "list/main.rkt"
-   "syntax.rkt"
-   "syntax-keyword.rkt")
+   "list/main.rkt")
   focus-lens
   drop-lens
   list-ref-nested-lens
diff --git a/lens/main.scrbl b/lens/main.scrbl
index 42b8a83..c3662a1 100644
--- a/lens/main.scrbl
+++ b/lens/main.scrbl
@@ -16,5 +16,4 @@ source code: @url["https://github.com/jackfirth/lens"]
 @include-section["base/main.scrbl"]
 @include-section["list/main.scrbl"]
 @include-section["struct.scrbl"]
-@include-section["syntax.scrbl"]
 @include-section["applicable.scrbl"]