diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Revision history for finitary-derive
 
-## 1.0.0.0 -- YYYY-mm-dd
+## 1.0.0.1 -- 2019-09-21
+
+* Fix documentation.
+* Raise bounds on ``finitary`` to avoid critical bugs.
+* Raise bounds on ``base`` for test (for honesty reasons).
+
+## 1.0.0.0 -- 2019-09-17
 
 * First version. Released on an unsuspecting world.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -48,6 +48,8 @@
 
 Certainly - we've tested on GHC 8.4.4, 8.6.5 and 8.8.1, on GNU/Linux only. If
 you would like support for any additional GHC versions, let us know.
+Unfortunately, while the library will _build_ on 8.4.4, due to
+``hedgehog-classes`` being limited to 8.6+, tests cannot be run on this version.
 
 If you build and use this library successfully on any other platforms, we'd like
 to know too - it'd be beneficial even if nothing breaks, and _especially_ if
diff --git a/finitary-derive.cabal b/finitary-derive.cabal
--- a/finitary-derive.cabal
+++ b/finitary-derive.cabal
@@ -3,8 +3,8 @@
 -- PVP summary:        +-+------- breaking API changes
 --                     | | +----- non-breaking API additions
 --                     | | | +--- code changes with no API change
-version:               1.0.0.0
-synopsis:              Easy and efficient Unbox, Storable, Binary and Hashable
+version:               1.0.0.1
+synopsis:              Easy and efficient Unbox, Storable, Binary and Hashable 
                        instances for Finitary types.
 description:           Provides a wrapper with pre-made instances of Unbox,
                        Storable, Binary and Hashable, suitable for use with types that
@@ -26,7 +26,7 @@
 library
   exposed-modules:     Data.Finitary.Pack
   build-depends:       base >= 4.11 && < 4.14,
-                       finitary >= 1.0.0.0 && < 1.1.0.0,
+                       finitary >= 1.1.0.0 && < 1.2.0.0,
                        vector >= 0.12.0.3 && < 0.13.0.0,
                        coercible-utils >= 0.0.0 && < 0.1.0,
                        finite-typelits >= 0.1.4.2 && < 0.2.0.0,
@@ -44,7 +44,7 @@
   type:                exitcode-stdio-1.0
   main-is:             Main.hs
   hs-source-dirs:      test
-  build-depends:       base,
+  build-depends:       base >= 4.12 && < 4.14,
                        hedgehog >= 1.0.1 && < 1.1,
                        hedgehog-classes >= 0.2.4 && < 0.3.0,
                        finitary-derive,
diff --git a/src/Data/Finitary/Pack.hs b/src/Data/Finitary/Pack.hs
--- a/src/Data/Finitary/Pack.hs
+++ b/src/Data/Finitary/Pack.hs
@@ -95,7 +95,7 @@
 import qualified Data.Binary as B
 
 -- | Essentially @Identity a@, but with different instances. So named due to the \'packing\' of the 
--- type's indices densely into arrays, memory or bits respectively.
+-- type's indices densely into arrays, memory or bits.
 newtype Pack a = Pack { unPack :: a }
   deriving (Eq, Ord, Bounded, Generic, Show, Read, Typeable, Data, Generic1, Functor, Semigroup, Monoid)