diff --git a/ChangeLog.md b/ChangeLog.md
index 9c79841..9e98a2c 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,13 @@
 # Revision history for butcher
 
+## 1.3.0.0  -- February 2018
+
+* Experimental: Hidden commandparts (do not appear in help)
+* Experimental: Bash completion
+* Add addHelpCommandWith to support user-defined column count
+* Fix help document printing (ribbons)
+* Fix completion behaviour
+
 ## 1.2.1.0  -- November 2017
 
 * Fix bug in 'ppUsageWithHelp'
diff --git a/butcher.cabal b/butcher.cabal
index d011256..bed47f4 100644
--- a/butcher.cabal
+++ b/butcher.cabal
@@ -1,5 +1,5 @@
 name:                butcher
-version:             1.2.1.0
+version:             1.3.0.0
 synopsis:            Chops a command or program invocation into digestable pieces.
 description:         See the <https://github.com/lspitzner/butcher/blob/master/README.md README> (it is properly formatted on github).
 license:             BSD3
@@ -45,8 +45,8 @@ library
     { base >=4.8 && <4.11
     , free
     , unsafe
-    , microlens
-    , microlens-th
+    , microlens <0.5
+    , microlens-th <0.5
     , multistate
     , pretty
     , containers