diff --git a/binary-typed.cabal b/binary-typed.cabal
--- a/binary-typed.cabal
+++ b/binary-typed.cabal
@@ -1,5 +1,5 @@
 name:          binary-typed
-version:       0.3
+version:       1.0
 synopsis:      Type-safe binary serialization
 Description:
       `Binary` serialization tagged with type information, allowing for
@@ -41,7 +41,7 @@
 category:           Data, Serialization
 build-type:         Simple
 cabal-version:      >= 1.10
-tested-with:        GHC == 7.8.2
+tested-with:        GHC == 7.8.4, GHC == 7.10.2, GHC == 7.10.3
 extra-source-files: doc/*.png
                   , changelog.md
 
diff --git a/src/Data/Binary/Typed.hs b/src/Data/Binary/Typed.hs
--- a/src/Data/Binary/Typed.hs
+++ b/src/Data/Binary/Typed.hs
@@ -58,9 +58,9 @@
 -- representation. In other words, calling 'mapTyped' on something that is
 -- typed using 'Hashed' will yield a 'Hashed' value again.
 --
--- Note: this destroys 'precache'd information, so that values have to be
--- 'precache'd again if desired. As a consequence, @'mapTyped' 'id'@
--- can be used to un-'precache' values.
+-- Note: this destroys 'preserialize'd information, so that values have to be
+-- 'preserialize'd again if desired. As a consequence, @'mapTyped' 'id'@
+-- can be used to un-'preserialize' values.
 mapTyped :: Typeable b => (a -> b) -> Typed a -> Typed b
 mapTyped f (Typed ty x) = typed (getFormat ty) (f x)
 
diff --git a/src/Data/Binary/Typed/Debug.hs b/src/Data/Binary/Typed/Debug.hs
--- a/src/Data/Binary/Typed/Debug.hs
+++ b/src/Data/Binary/Typed/Debug.hs
@@ -4,7 +4,7 @@
 -- | This module has the same interface as "Data.Binary.Typed", but emits
 -- debugging messages via "Debug.Trace" whenever a 'TypeInformation' is
 -- calculated. This is useful to determine whether caching works properly,
--- i.e. if a single serialization point emity a lot of caching messages
+-- i.e. if a single serialization point emits a lot of caching messages
 -- it's worth having a look at.
 --
 -- A simple example to check sharing is to evaluate
diff --git a/tests/QuickCheck.hs b/tests/QuickCheck.hs
--- a/tests/QuickCheck.hs
+++ b/tests/QuickCheck.hs
@@ -20,10 +20,12 @@
                               -- Travis. Can probably be removed in the future.
 
 
+qcOptions = QuickCheckTests 1e4
 
+
 -- | The entire QuickCheck test tree, to be imported qualified
 props :: TestTree
-props = tree tests where
+props = localOption qcOptions (tree tests) where
       tree = testGroup "QuickCheck"
       tests = [ prop_inverses
               , prop_api