diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+tip-lib 0.2.1 (released 2015-11-16):
+* Make haddock documentation build
+
 tip-lib 0.2 (released 2015-10-28):
 * New output modes:
     * Haskell with support for Feat, QuickCheck, LazySmallCheck, and smten.
diff --git a/src/Tip/Pass/Booleans.hs b/src/Tip/Pass/Booleans.hs
--- a/src/Tip/Pass/Booleans.hs
+++ b/src/Tip/Pass/Booleans.hs
@@ -24,7 +24,7 @@
   case e0 of
     Builtin op :@: args@(a:_)
       | op `elem` [And,Or,Not,Implies]
-        -- || op `elem` [Equal,Distinct] && hasBoolType a ->
+        --  || op `elem` [Equal,Distinct] && hasBoolType a ->
         -> Builtin op :@: map formulaBoolOpToIf args
     Quant qi q as e -> Quant qi q as (formulaBoolOpToIf e)
     _ -> boolOpToIf e0
diff --git a/tip-lib.cabal b/tip-lib.cabal
--- a/tip-lib.cabal
+++ b/tip-lib.cabal
@@ -1,5 +1,5 @@
 name:                tip-lib
-version:             0.2
+version:             0.2.1
 synopsis:            tons of inductive problems - support library and tools
 description:         This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).
 homepage:            http://tip-org.github.io