diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,13 @@
 CHANGELOG](http://keepachangelog.com/). This project adheres to [Semantic
 Versioning](http://semver.org/).
 
+## [0.3.1] - 2015-09-23
+### Fixed
+- Export `Prism` `listSeries`.
+
+### Changed
+- Make `Depth` of compositing functions for `Traversal` and `Setter` constant.
+
 ## [0.3] - 2015-09-11
 ### Added
 - Multiple `TestTree`s with different settings for dealing with `SmallCheck`
@@ -23,5 +30,6 @@
 - `tasty` test trees for each `Lens` type.
 - Tests for some `Lens`.
 
+[0.3.1]: https://github.com/jdnavarro/tasty-lens/compare/v0.3...v0.3.1
 [0.3]: https://github.com/jdnavarro/tasty-lens/compare/v0.1...v0.3
 [0.1]: https://github.com/jdnavarro/tasty-lens/compare/1df060...v0.1
diff --git a/Test/Tasty/Lens/Prism.hs b/Test/Tasty/Lens/Prism.hs
--- a/Test/Tasty/Lens/Prism.hs
+++ b/Test/Tasty/Lens/Prism.hs
@@ -8,6 +8,7 @@
   (
   -- * Tests
     test
+  , testSeries
   , testExhaustive
   -- * Re-exports
   , module Test.SmallCheck.Lens.Prism
diff --git a/Test/Tasty/Lens/Setter.hs b/Test/Tasty/Lens/Setter.hs
--- a/Test/Tasty/Lens/Setter.hs
+++ b/Test/Tasty/Lens/Setter.hs
@@ -15,7 +15,7 @@
   ) where
 
 import Control.Lens
-import Test.SmallCheck.Series (Serial(series), Series)
+import Test.SmallCheck.Series (Serial(series), Series, localDepth)
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.SmallCheck (testProperty)
 
@@ -73,7 +73,8 @@
   , testProperty "set l y (set l x a) ≡ set l y a" $
       setSetSum l ss series series
   , testProperty "over l f . over l g ≡ over l (f . g)" $
-      compositionSum l ss series series
+      compositionSum l ss (localDepth (const 2) series)
+                          (localDepth (const 2) series)
   ]
 
 -- | A 'Setter' is only legal if the following laws hold:
diff --git a/Test/Tasty/Lens/Traversal.hs b/Test/Tasty/Lens/Traversal.hs
--- a/Test/Tasty/Lens/Traversal.hs
+++ b/Test/Tasty/Lens/Traversal.hs
@@ -22,7 +22,7 @@
 import Data.Proxy (Proxy(..))
 
 import Control.Lens
-import Test.SmallCheck.Series (Serial(series), CoSerial, Series)
+import Test.SmallCheck.Series (Serial(series), CoSerial, Series, localDepth)
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.SmallCheck (testProperty)
 
@@ -86,8 +86,8 @@
 testSeries p t ss = testGroup "Traversal Laws"
   [ testProperty "t pure ≡ pure" $ Traversal.pure p t ss
   , testProperty "fmap (t f) . t g ≡ getCompose . t (Compose . fmap f . g)" $
-       compositionSum t ss (series :: Series IO (a -> f a))
-                           (series :: Series IO (a -> f a))
+       compositionSum t ss (localDepth (const 2) $ series :: Series IO (a -> f a))
+                           (localDepth (const 2) $ series :: Series IO (a -> f a))
   , Setter.testSeries t ss
   ]
 
diff --git a/tasty-lens.cabal b/tasty-lens.cabal
--- a/tasty-lens.cabal
+++ b/tasty-lens.cabal
@@ -1,5 +1,5 @@
 name:                tasty-lens
-version:             0.3
+version:             0.3.1
 synopsis:            Tasty TestTrees for Lens validation
 description:
   Preassembled 'tasty' 'TestTree's for property testing @Lens@es, @Setter@s,