diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for barbies
 
+## 1.1.2.0
+  - Add `traverseC` (Ole Krüger).
+  - Fix typo in ProductB laws (thanks to Ben Radford).
+
 ## 1.1.1.0
   - Add `bmapC` (Chris Penner).
 
diff --git a/barbies.cabal b/barbies.cabal
--- a/barbies.cabal
+++ b/barbies.cabal
@@ -1,5 +1,5 @@
 name:           barbies
-version:        1.1.1.0
+version:        1.1.2.0
 synopsis:       Classes for working with types that can change clothes.
 description:    Types that are parametric on a functor are like Barbies that have an outfit for each role. This package provides the basic abstractions to work with them comfortably.
 category:       Data-structures
diff --git a/src/Data/Barbie/Internal/Product.hs b/src/Data/Barbie/Internal/Product.hs
--- a/src/Data/Barbie/Internal/Product.hs
+++ b/src/Data/Barbie/Internal/Product.hs
@@ -27,8 +27,8 @@
 -- | Barbie-types that can form products, subject to the laws:
 --
 -- @
--- 'bmap' (\\('Pair' a _) -> a) . 'uncurry' . 'bprod' = 'fst'
--- 'bmap' (\\('Pair' _ b) -> b) . 'uncurry' . 'bprod' = 'snd'
+-- 'bmap' (\\('Pair' a _) -> a) . 'uncurry' 'bprod' = 'fst'
+-- 'bmap' (\\('Pair' _ b) -> b) . 'uncurry' 'bprod' = 'snd'
 -- @
 --
 -- Notice that because of the laws, having an internal product structure is not