diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,4 +1,8 @@
-* 0.4.0 Bugfixes and dropped export of library
+* 0.4.1.0 Bugfixes and dropped export of library
+    - widen 'pretty' dependency
+    - update package description
+
+* 0.4.0.0 Bugfixes and dropped export of library
 
     - Compiles now with GHC 7.0.x, 7.2.x, 7.4.x
     - Fixed some corner cases in unification code for key-inversion.
diff --git a/interactive-only-src/Paths_scyther_proof.hs b/interactive-only-src/Paths_scyther_proof.hs
--- a/interactive-only-src/Paths_scyther_proof.hs
+++ b/interactive-only-src/Paths_scyther_proof.hs
@@ -12,7 +12,7 @@
 
 
 version :: Version
-version = Version {versionBranch = [0,4,0], versionTags = []}
+version = Version {versionBranch = [0,4,1,0], versionTags = []}
 bindir, libdir, datadir, libexecdir :: FilePath
 
 bindir     = "."
diff --git a/scyther-proof.cabal b/scyther-proof.cabal
--- a/scyther-proof.cabal
+++ b/scyther-proof.cabal
@@ -1,6 +1,6 @@
 build-type:         Simple
 name:               scyther-proof
-version:            0.4.0
+version:            0.4.1.0
 license:            GPL
 license-file:       LICENSE
 category:           Security, Theorem Provers
@@ -18,13 +18,6 @@
                     Machine-Checked Protocol Security Proofs\" by Meier,
                     Cremers, and Basin available from
                     <http://people.inf.ethz.ch/meiersi/publications/index.html>
-                    .
-                    Parts of the infrastructure underlying scyther-proof are
-                    reused in other projects by the same author. Therefore,
-                    most of its modules are exported in the corresponding
-                    scyther-proof library. However, this library is not yet
-                    thought for general use. Please contact the author, if you
-                    would like to build upon/extend scyther-proof.
 
 homepage:           http://www.infsec.ethz.ch/people/meiersi/
 stability:          Beta
@@ -127,7 +120,7 @@
         time          >= 1.1   && < 1.3 ,
         
         parsec        == 3.1.*  ,
-        pretty        == 1.0.*  ,
+        pretty        >= 1.0   && < 1.2 ,
         tagsoup       == 0.12.*  ,
         json          == 0.5.*  ,
         uniplate      == 1.6.*