diff --git a/Changelog b/Changelog
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,10 @@
+version 0.2.1.1
+        - Changelog
+
+version 0.2.1
+        - add Term.mapSides, Rule.map, Rules.map, Problem.map
+        - fix build with ghc-8.0.2 (and remove overlapping instance)
+
 version 0.2
 	- fix argument order of Data.Rewriting.Rule.isVariantOf
 
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.2.1
+version:       0.2.1.1
 stability:     experimental
 author:        Martin Avanzini,
                Bertram Felgenhauer,