diff --git a/hspec-smallcheck.cabal b/hspec-smallcheck.cabal
--- a/hspec-smallcheck.cabal
+++ b/hspec-smallcheck.cabal
@@ -1,17 +1,16 @@
--- This file has been generated from package.yaml by hpack version 0.28.2.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.35.0.
 --
 -- see: https://github.com/sol/hpack
---
--- hash: 8fef08d4c8338bfb32b5436d390cd7aa3453e20b39652a3a405efff6e4a0ffcc
 
 name:             hspec-smallcheck
-version:          0.5.2
+version:          0.5.3
 license:          MIT
 license-file:     LICENSE
 copyright:        (c) 2013-2018 Simon Hengel
 maintainer:       Simon Hengel <sol@typeful.net>
 build-type:       Simple
-cabal-version:    >= 1.10
 category:         Testing
 bug-reports:      https://github.com/hspec/hspec-smallcheck/issues
 homepage:         http://hspec.github.io/
@@ -36,7 +35,7 @@
       HUnit
     , base >=4.5.0.0 && <5
     , call-stack
-    , hspec-core >=2.5.0
+    , hspec-core >=2.10.0
     , smallcheck >=1.1
   default-language: Haskell2010
 
@@ -53,7 +52,7 @@
     , base >=4.5.0.0 && <5
     , call-stack
     , hspec
-    , hspec-core >=2.5.0
+    , hspec-core >=2.10.0
     , hspec-smallcheck
     , smallcheck >=1.1
   default-language: Haskell2010
@@ -61,6 +60,8 @@
 test-suite spec
   type: exitcode-stdio-1.0
   ghc-options: -Wall
+  build-tool-depends:
+      hspec-discover:hspec-discover
   hs-source-dirs:
       src
       test
@@ -79,6 +80,6 @@
     , base-orphans
     , call-stack
     , hspec
-    , hspec-core >=2.5.0
+    , hspec-core >=2.10.0
     , smallcheck >=1.1
   default-language: Haskell2010
diff --git a/src/Test/Hspec/SmallCheck.hs b/src/Test/Hspec/SmallCheck.hs
--- a/src/Test/Hspec/SmallCheck.hs
+++ b/src/Test/Hspec/SmallCheck.hs
@@ -50,7 +50,7 @@
           modifyIORef counter succ
           n <- readIORef counter
           reportProgress (n, 0)
-    r <- smallCheckWithHook (paramsSmallCheckDepth c) hook p
+    r <- smallCheckWithHook (fromMaybe 5 $ paramsSmallCheckDepth c) hook p
     return . Result "" $ case r of
       Just e -> case T.parseResult (ppFailure e) of
         (m, Just (T.Failure loc reason)) -> Failure loc $ case reason of