diff --git a/QuickCheck.cabal b/QuickCheck.cabal
--- a/QuickCheck.cabal
+++ b/QuickCheck.cabal
@@ -1,5 +1,5 @@
 Name: QuickCheck
-Version: 2.9
+Version: 2.9.1
 Cabal-Version: >= 1.8
 Build-type: Simple
 License: BSD3
@@ -37,7 +37,7 @@
 source-repository this
   type:     git
   location: https://github.com/nick8325/quickcheck
-  tag:      2.9
+  tag:      2.9.1
 
 flag templateHaskell
   Description: Build Test.QuickCheck.All, which uses Template Haskell.
@@ -70,7 +70,6 @@
     cpp-options: -DNO_TRANSFORMERS
 
   if impl(ghc) && flag(templateHaskell)
-    -- && !impl(haste)
     Build-depends: template-haskell >= 2.4
     Other-Extensions: TemplateHaskell
     Exposed-Modules: Test.QuickCheck.All
@@ -90,7 +89,6 @@
 
   -- Use tf-random on newer GHCs.
   if impl(ghc)
-    -- && !impl(haste)
     Build-depends: tf-random >= 0.4
   else
     cpp-options: -DNO_TF_RANDOM
@@ -136,11 +134,10 @@
     build-depends:
       base,
       containers,
-      QuickCheck == 2.9,
+      QuickCheck == 2.9.1,
       template-haskell >= 2.4,
       test-framework >= 0.4 && < 0.9
     if flag(templateHaskell)
-        -- && !impl(haste)
         Buildable: True
     else
         Buildable: False
@@ -149,7 +146,7 @@
     type: exitcode-stdio-1.0
     hs-source-dirs: tests
     main-is: GCoArbitraryExample.hs
-    build-depends: base, QuickCheck == 2.9
+    build-depends: base, QuickCheck == 2.9.1
     if impl(ghc < 7.2)
         buildable: False
     if impl(ghc >= 7.2) && impl(ghc < 7.6)
@@ -159,16 +156,15 @@
     type: exitcode-stdio-1.0
     hs-source-dirs: tests
     main-is: Generators.hs
-    build-depends: base, QuickCheck == 2.9
+    build-depends: base, QuickCheck == 2.9.1
     if !flag(templateHaskell)
-       -- || impl(haste)
         Buildable: False
 
 Test-Suite test-quickcheck-gshrink
     type: exitcode-stdio-1.0
     hs-source-dirs: tests
     main-is: GShrinkExample.hs
-    build-depends: base, QuickCheck == 2.9
+    build-depends: base, QuickCheck == 2.9.1
     if impl(ghc < 7.2)
         buildable: False
     if impl(ghc >= 7.2) && impl(ghc < 7.6)
diff --git a/Test/QuickCheck/Property.hs b/Test/QuickCheck/Property.hs
--- a/Test/QuickCheck/Property.hs
+++ b/Test/QuickCheck/Property.hs
@@ -413,10 +413,7 @@
 -- test case generator.
 forAll :: (Show a, Testable prop)
        => Gen a -> (a -> prop) -> Property
-forAll gen pf =
-  MkProperty $
-  gen >>= \x ->
-    unProperty (counterexample (show x) (pf x))
+forAll gen pf = forAllShrink gen (\_ -> []) pf
 
 -- | Like 'forAll', but tries to shrink the argument for failing test cases.
 forAllShrink :: (Show a, Testable prop)
diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+QuickCheck 2.9.1 (released 2016-07-11)
+	* 'again' was only used in forAllShrink, not forAll
+
 QuickCheck 2.9 (released 2016-07-10)
 	* Arbitrary, CoArbitrary and Function instances for more types
 	* Generics for automatic Function instances