diff --git a/testing-feat.cabal b/testing-feat.cabal
--- a/testing-feat.cabal
+++ b/testing-feat.cabal
@@ -1,7 +1,7 @@
 Name:                testing-feat
-Version:             0.4
-Synopsis:            Functional Enumeration of Abstract Types
-Description:         Feat (Functional Enumeration of Abstract Types) provides
+Version:             0.4.0.1
+Synopsis:            Functional Enumeration of Algebraic Types
+Description:         Feat (Functional Enumeration of Algebraic Types) provides
                      enumerations as functions from natural numbers to values 
                      (similar to @toEnum@ but for any algebraic data type). This 
                      can be used for SmallCheck-style systematic testing,