diff --git a/info.rkt b/info.rkt
index 05a4f6f..c3c78b7 100644
--- a/info.rkt
+++ b/info.rkt
@@ -4,7 +4,8 @@
 
 (define deps
   '("base"
-    "lens"
+    "lens-common"
+    "lens-unstable"
     ))
 
 (define build-deps
diff --git a/turnstile/examples/rosette/fsm.rkt b/turnstile/examples/rosette/fsm.rkt
index 63ea330..4ce391b 100644
--- a/turnstile/examples/rosette/fsm.rkt
+++ b/turnstile/examples/rosette/fsm.rkt
@@ -7,8 +7,6 @@
                   reject verify-automaton debug-automaton synthesize-automaton))
 (provide (rename-out [rosette:choose ?]))
 
-(require (for-syntax lens unstable/lens))
-
 (provide FSM State Pict
          (typed-out [reject : State]
                     [verify-automaton : (→ FSM Regexp (List Symbol))]
diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt
index bdc1847..f825a17 100644
--- a/turnstile/turnstile.rkt
+++ b/turnstile/turnstile.rkt
@@ -12,8 +12,7 @@
 (require (except-in (rename-in
                      macrotypes/typecheck
                      [define-typed-syntax -define-typed-syntax]
-                     [define-syntax-category -define-syntax-category]
-                     )
+                     [define-syntax-category -define-syntax-category])
                     #%module-begin))
 
 (module typecheck+ racket/base