diff --git a/fitspec.cabal b/fitspec.cabal
--- a/fitspec.cabal
+++ b/fitspec.cabal
@@ -1,5 +1,5 @@
 name:                fitspec
-version:             0.4.5
+version:             0.4.6
 synopsis:            refining property sets for testing Haskell programs
 description:
   FitSpec provides automated assistance in the task of refining test properties
@@ -38,7 +38,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/fitspec
-  tag:             v0.4.5
+  tag:             v0.4.6
 
 
 library
@@ -55,7 +55,7 @@
                  , Test.FitSpec.Utils
                  , Test.FitSpec.PrettyPrint
   other-modules: Test.FitSpec.Dot
-  build-depends: base >= 4 && < 5, leancheck >= 0.7, cmdargs, template-haskell
+  build-depends: base >= 4 && < 5, leancheck >= 0.7.2, cmdargs, template-haskell
   hs-source-dirs:    src
   default-language:  Haskell2010
 
@@ -154,6 +154,7 @@
 
 benchmark mergeheaps
   main-is:           mergeheaps.hs
+  other-modules:     Heap
   build-depends: base >= 4 && < 5, fitspec
   hs-source-dirs:    bench
   default-language:  Haskell2010
diff --git a/src/Test/FitSpec/Mutable.hs b/src/Test/FitSpec/Mutable.hs
--- a/src/Test/FitSpec/Mutable.hs
+++ b/src/Test/FitSpec/Mutable.hs
@@ -197,11 +197,11 @@
   mutiers (f,g,h,i,j) = productWith (\f' (g',h',i',j') -> (f',g',h',i',j'))
                                     (mutiers f) (mutiers (g,h,i,j))
 
--- | For Mutable tuple instances greater than sixtuples, see
---   "FitSpec.Mutable.Tuples".  Despite being hidden in this Haddock
---   documentation, 7-tuples up to 12-tuples are exported by "Test.FitSpec".
 instance (Mutable a, Mutable b, Mutable c, Mutable d, Mutable e, Mutable f)
       => Mutable (a,b,c,d,e,f) where
   mutiers (f,g,h,i,j,k) = productWith (\f' (g',h',i',j',k') ->
                                            (f',g',h',i',j',k'))
                                       (mutiers f) (mutiers (g,h,i,j,k))
+
+-- Further tuple instances are defined on FitSpec.Mutable.Tuples and are
+-- exported by default by Test.FitSpec.