diff --git a/Data/Distributive.hs b/Data/Distributive.hs
--- a/Data/Distributive.hs
+++ b/Data/Distributive.hs
@@ -45,7 +45,7 @@
   distribute  = collect id
 
   -- | 
-  -- > collect   = distribute . fmap f
+  -- > collect = distribute . fmap f
   collect     :: Functor f => (a -> g b) -> f a -> g (f b)
   collect f   = distribute . fmap f
 
@@ -87,6 +87,6 @@
     fstP (Pair a _) = a
     sndP (Pair _ b) = b
 
--- | Every 'Distributive' is a 'Functor'. This is a valid default definition.
+-- | Given a definition for 'collect', a 'Distributive' is a 'Functor'.
 fmapDefault :: Distributive g => (a -> b) -> g a -> g b
-fmapDefault f = cotraverse (f . runIdentity) . Identity
+fmapDefault f = runIdentity . collect (Identity . f)
diff --git a/distributive.cabal b/distributive.cabal
--- a/distributive.cabal
+++ b/distributive.cabal
@@ -1,6 +1,6 @@
 name:          distributive
 category:      Data Structures
-version:       0.1.1
+version:       0.1.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE