diff --git a/examples/Cabbage.lhs b/examples/Cabbage.lhs
index c529519..7888cc6 100644
--- a/examples/Cabbage.lhs
+++ b/examples/Cabbage.lhs
@@ -43,7 +43,7 @@ rest intact:
 
 @
 *Cabbage> singleOut1 (== Sheep) [Wolf, Sheep, Cabbage]
-[(Just Wolf,[Sheep,Cabbage]),(Just Sheep,[Wolf,Cabbage]),(Just Cabbage,[Wolf,Sheep]),(Nothing,[Wolf,Sheep,Cabbage])]
+(Just Sheep,[Wolf,Cabbage])
 @
 
 > singleOutAll :: [a] -> [(Maybe a,[a])]
diff --git a/src/Control/Monad/Free.hs b/src/Control/Monad/Free.hs
index 1dd5643..292b4c5 100644
--- a/src/Control/Monad/Free.hs
+++ b/src/Control/Monad/Free.hs
@@ -304,12 +304,12 @@ iter :: Functor f => (f a -> a) -> Free f a -> a
 iter _ (Pure a) = a
 iter phi (Free m) = phi (iter phi <$> m)
 
--- | Like iter for applicative values.
+-- | Like 'iter' for applicative values.
 iterA :: (Applicative p, Functor f) => (f (p a) -> p a) -> Free f a -> p a
 iterA _   (Pure x) = pure x
 iterA phi (Free f) = phi (iterA phi <$> f)
 
--- | Like iter for monadic values.
+-- | Like 'iter' for monadic values.
 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
 iterM _   (Pure x) = return x
 iterM phi (Free f) = phi (iterM phi <$> f)
diff --git a/src/Control/Monad/Free/TH.hs b/src/Control/Monad/Free/TH.hs
index 11cfc6b..9f1fe29 100644
--- a/src/Control/Monad/Free/TH.hs
+++ b/src/Control/Monad/Free/TH.hs
@@ -240,7 +240,7 @@ genFreeCon typeSig cname = do
 makeFree :: Name -> Q [Dec]
 makeFree = genFree True Nothing
 
--- | Like 'makeFreeCon', but does not provide type signatures.
+-- | Like 'makeFree', but does not provide type signatures.
 -- This can be used to attach Haddock comments to individual arguments
 -- for each generated function.
 --