diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -0,0 +1,4 @@
+0.0.1 (Changes from 0.0.0)
+=========================
+* Bump dependency on containers
+* Fixed dependency on mtl
diff --git a/lens-family.cabal b/lens-family.cabal
--- a/lens-family.cabal
+++ b/lens-family.cabal
@@ -1,6 +1,6 @@
 name:               lens-family
 category:           Data
-version:            0.0.0
+version:            0.0.1
 license:            BSD3
 cabal-version:      >= 1.6
 license-file:       LICENSE
@@ -12,7 +12,7 @@
 description:        Lens Families
 build-type:         Simple
 extra-source-files: CHANGELOG
-description:        This package provide optimal first class functional references
+description:        This package provides optimal first class functional references
                     In addition to the usual operations of getting, setting and composition, plus integration with monad state, lens families provide some unique features:
                     .
                     * Polymorphic updating
@@ -29,9 +29,9 @@
   extensions:       Rank2Types
   build-depends:
     base                 >= 4       && < 5,
-    containers           >= 0.3     && < 0.5,
+    containers           >= 0.3     && < 0.6,
     transformers         >= 0.2.0   && < 0.4,
-    mtl                  >= 2.0.1   && < 2.2,
+    mtl                  >= 2.1     && < 2.2,
     lens-family-core     >= 0.0.0   && < 0.1
 
   exposed-modules:
diff --git a/src/Lens/Family2/Stock.hs b/src/Lens/Family2/Stock.hs
--- a/src/Lens/Family2/Stock.hs
+++ b/src/Lens/Family2/Stock.hs
@@ -14,7 +14,7 @@
   , LensFamily, Lens
   ) where
 
-import Lens.Family2.Unchecked (LensFamily, Lens, mkLens)
+import Lens.Family2.Unchecked (LensFamily, Lens)
 import qualified Lens.Family.Stock as Stock
 import Lens.Family ((^.), (^=))
 import qualified Data.Map as Map
diff --git a/src/Lens/Family2/Unchecked.hs b/src/Lens/Family2/Unchecked.hs
--- a/src/Lens/Family2/Unchecked.hs
+++ b/src/Lens/Family2/Unchecked.hs
@@ -19,6 +19,12 @@
 -- To use this template, you do not need anything from this module other than the type synonyms 'LensFamily' and 'Lens', and even they are optional.
 -- See the @lens-family-th@ package to generate this code using Template Haskell.
 --
+-- /Note/: It is possible to build lenses without even depending on @lens-family@ by expanding away the type synonym.
+--
+-- > -- A lens definition that only requires the Haskell "Prelude".
+-- > myA :: Functor f => (a -> f a') -> (MyRecord a) -> f (MyRecord a')
+-- > myA f (MyRecord a b) = (\a' -> MyRecord a' b) `fmap` (f a)
+--
 -- You can build lenses for more than just fields of records.
 -- Any value @lens :: LensFamily a a' b b'@ is well-defined when it satisfies the two van Laarhoven lens laws:
 --