diff --git a/Changelog b/Changelog
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,10 @@
+version 0.4.0.1
+	- Changelog
+
+version 0.4
+	- nicer pretty printing of Problems
+	- support simple signatures ("(SIG ...)") in problems
+
 version 0.3.0.1
 	- compatibility with ghc-8.6.1
 
diff --git a/term-rewriting.cabal b/term-rewriting.cabal
--- a/term-rewriting.cabal
+++ b/term-rewriting.cabal
@@ -1,5 +1,5 @@
 name:          term-rewriting
-version:       0.4
+version:       0.4.0.1
 stability:     experimental
 author:        Martin Avanzini,
                Bertram Felgenhauer,