diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2016 Tom Sydney Kerckhove
+Copyright (c) 2016-2020 Tom Sydney Kerckhove
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
diff --git a/doctest/DocTest.hs b/doctest/DocTest.hs
deleted file mode 100644
--- a/doctest/DocTest.hs
+++ /dev/null
@@ -1,4 +0,0 @@
-import Test.DocTest
-
-main :: IO ()
-main = doctest ["-isrc", "src", "-XTypeApplications"]
diff --git a/genvalidity-hspec-aeson.cabal b/genvalidity-hspec-aeson.cabal
--- a/genvalidity-hspec-aeson.cabal
+++ b/genvalidity-hspec-aeson.cabal
@@ -1,22 +1,20 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.31.1.
+-- This file has been generated from package.yaml by hpack version 0.33.0.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: aeb4e3b40ca11d74303e78ef210d2c3c930011bf6277fe2f9758e0efad65980f
+-- hash: b565ce5a4a7956da9ac040351b844f450cf7046a945063ebc2988b047fd1544d
 
 name:           genvalidity-hspec-aeson
-version:        0.3.1.0
+version:        0.3.1.1
 synopsis:       Standard spec's for aeson-related instances
-description:    Standard spec's for aeson-related Instances
 category:       Testing
 homepage:       http://cs-syd.eu
 bug-reports:    https://github.com/NorfairKing/validity/issues
 author:         Tom Sydney Kerckhove
-maintainer:     syd.kerckhove@gmail.com,
-                nick.van.den.broeck666@gmail.com
-copyright:      Copyright: (c) 2016-2019 Tom Sydney Kerckhove
+maintainer:     syd@cs-syd.eu
+copyright:      Copyright: (c) 2016-2020 Tom Sydney Kerckhove
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
@@ -44,24 +42,6 @@
     , hspec
   default-language: Haskell2010
 
-test-suite genvalidity-hspec-aeson-doctests
-  type: exitcode-stdio-1.0
-  main-is: DocTest.hs
-  other-modules:
-      Paths_genvalidity_hspec_aeson
-  hs-source-dirs:
-      doctest
-  ghc-options: -threaded
-  build-depends:
-      base
-    , doctest
-    , genvalidity >=0.7
-    , genvalidity-hspec-aeson
-    , genvalidity-property >=0.3
-    , hspec
-    , validity >=0.9
-  default-language: Haskell2010
-
 test-suite genvalidity-hspec-aeson-test
   type: exitcode-stdio-1.0
   main-is: Spec.hs
@@ -72,8 +52,9 @@
       test/
   ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
   build-depends:
-      aeson
-    , base
+      QuickCheck
+    , aeson
+    , base >=4.9 && <=5
     , genvalidity >=0.7
     , genvalidity-aeson
     , genvalidity-hspec
diff --git a/test/Test/Validity/AesonSpec.hs b/test/Test/Validity/AesonSpec.hs
--- a/test/Test/Validity/AesonSpec.hs
+++ b/test/Test/Validity/AesonSpec.hs
@@ -12,29 +12,28 @@
 import Data.GenValidity.Text ()
 import Data.Text (Text)
 import GHC.Generics
-import Test.Validity
 import Test.Validity.Aeson
 
 spec :: Spec
 spec = do
-    jsonSpecOnGen (genListOf $ pure 'a') "sequence of 'a's" (const [])
+  jsonSpecOnGen (genListOf $ pure 'a') "sequence of 'a's" (const [])
     -- jsonSpec @Double DOES NOT HOLD
-    jsonSpecOnValid @Rational
-    jsonSpec @Int
-    jsonSpecOnArbitrary @Int
-    jsonSpecOnValid @ForShow
-    jsonSpecOnValid @Value
-    shrinkValidSpec @Value
+  jsonSpecOnValid @Rational
+  jsonSpec @Int
+  jsonSpecOnArbitrary @Int
+  jsonSpecOnValid @ForShow
+  jsonSpecOnValid @Value
+    -- shrinkValidSpec @Value
 
 newtype ForShow =
-    ForShow Text
-    deriving (Show, Eq, Generic)
+  ForShow Text
+  deriving (Show, Eq, Generic)
 
 instance Validity ForShow
 
 instance GenValid ForShow where
-    genValid = genValidStructurally
-    shrinkValid = shrinkValidStructurally
+  genValid = genValidStructurally
+  shrinkValid = shrinkValidStructurally
 
 instance FromJSON ForShow