diff --git a/test-framework-leancheck.cabal b/test-framework-leancheck.cabal
--- a/test-framework-leancheck.cabal
+++ b/test-framework-leancheck.cabal
@@ -1,13 +1,12 @@
 -- Cabal file for test-framework-leancheck
 name:                test-framework-leancheck
-version:             0.0.2
+version:             0.0.4
 synopsis:            LeanCheck support for test-framework.
 description:
   LeanCheck support for test-framework.
   .
   This package can be used to incorporate LeanCheck tests
-  into test-framework test suites by means of the
-  @Test.Framework.Providers.LeanCheck.testProperty@ function.
+  into test-framework test suites.
   .
   Please see the Haddock documentation and README for more details.
 
@@ -52,7 +51,7 @@
 source-repository this
   type:           git
   location:       https://github.com/rudymatela/test-framework-leancheck
-  tag:            v0.0.2
+  tag:            v0.0.4
 
 library
   exposed-modules:     Test.Framework.Providers.LeanCheck