diff --git a/.travis.yml b/.travis.yml
--- a/.travis.yml
+++ b/.travis.yml
@@ -35,8 +35,8 @@
 - make && make test
 - make haddock
 - make test-sdist
-- cabal test
-- stack --no-terminal --skip-ghc-check test
+- cabal test --ghc-option=-O0
+- stack --no-terminal --skip-ghc-check test --ghc-options=-O0
 
 matrix:
   allow_failures:
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -142,6 +142,20 @@
 check source comments or haddock documentation for details.
 
 
+Providers for Tasty, test-framework and Hspec
+---------------------------------------------
+
+The following providers allow including LeanCheck properties into
+[Tasty], [test-framework] or [Hspec] test suites.
+
+* [LeanCheck provider for Tasty]
+  -- `$ cabal install tasty-leancheck` ;
+* [LeanCheck provider for test-framework]
+  -- `$ cabal install test-framework-leancheck` ;
+* [LeanCheck provider for Hspec]
+  -- `$ cabal install hspec-leancheck` .
+
+
 Further reading
 ---------------
 
@@ -177,6 +191,13 @@
 
 [symbol `>`]: https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810780208
 [Template Haskell]: https://wiki.haskell.org/Template_Haskell
+
+[Tasty]:          https://github.com/feuerbach/tasty#readme
+[test-framework]: https://haskell.github.io/test-framework/
+[Hspec]:          https://hspec.github.io/
+[LeanCheck provider for Tasty]:          https://hackage.haskell.org/package/tasty-leancheck
+[LeanCheck provider for test-framework]: https://hackage.haskell.org/package/test-framework-leancheck
+[LeanCheck provider for Hspec]:          https://hackage.haskell.org/package/hspec-leancheck
 
 [build-status]: https://travis-ci.org/rudymatela/leancheck.svg?branch=master
 [build-log]:    https://travis-ci.org/rudymatela/leancheck
diff --git a/leancheck.cabal b/leancheck.cabal
--- a/leancheck.cabal
+++ b/leancheck.cabal
@@ -11,7 +11,7 @@
 -- this cabal file too complicated.  -- Rudy
 
 name:                leancheck
-version:             0.7.3
+version:             0.7.4
 synopsis:            Enumerative property-based testing
 description:
   LeanCheck is a simple enumerative property-based testing library.
@@ -70,7 +70,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/leancheck
-  tag:             v0.7.3
+  tag:             v0.7.4
 
 library
   exposed-modules: Test.LeanCheck
diff --git a/src/Test/LeanCheck/IO.hs b/src/Test/LeanCheck/IO.hs
--- a/src/Test/LeanCheck/IO.hs
+++ b/src/Test/LeanCheck/IO.hs
@@ -101,10 +101,10 @@
 showResult m (Exception i ce e) = "*** Failed! Exception '" ++ e ++ "' (after "
                                ++ show i ++ " tests):\n" ++ joinArgs ce
 
--- joinArgs the counter-example arguments
+-- joins the counter-example arguments
 joinArgs :: [String] -> String
 joinArgs ce | any ('\n' `elem`) ce = unlines $ map chopBreak ce
-        | otherwise            = unwords ce
+            | otherwise            = unwords ce
 
 -- chops a line break at the end if there is any
 chopBreak :: String -> String
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -3,7 +3,7 @@
 
 # resolver: nightly-2015-09-21
 # resolver: ghc-7.10.2
-resolver: lts-12.7
+resolver: lts-12.9
 
 packages:
 - .