diff --git a/checkers.cabal b/checkers.cabal
--- a/checkers.cabal
+++ b/checkers.cabal
@@ -1,5 +1,5 @@
 Name:                checkers
-Version:             0.4.6
+Version:             0.4.7
 Cabal-Version:       >= 1.6
 Synopsis:            Check properties on standard classes and data structures.
 Category:            Testing
diff --git a/src/Test/QuickCheck/Classes.hs b/src/Test/QuickCheck/Classes.hs
--- a/src/Test/QuickCheck/Classes.hs
+++ b/src/Test/QuickCheck/Classes.hs
@@ -207,7 +207,7 @@
 semanticFunctor = const (functorMorphism (model1 :: forall b. f b -> g b))
 
 
--- | Properties to check that the 'Applicative' @m@ satisfies the monad
+-- | Properties to check that the 'Applicative' @m@ satisfies the applicative
 -- properties
 applicative :: forall m a b c.
                ( Applicative m