diff --git a/ivory-opts.cabal b/ivory-opts.cabal
--- a/ivory-opts.cabal
+++ b/ivory-opts.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory-opts
-version:             0.1.0.5
+version:             0.1.0.6
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 category:            Language
diff --git a/src/Ivory/Opts/SanityCheck.hs b/src/Ivory/Opts/SanityCheck.hs
--- a/src/Ivory/Opts/SanityCheck.hs
+++ b/src/Ivory/Opts/SanityCheck.hs
@@ -36,8 +36,10 @@
                                                           WriterT, runId,
                                                           runStateT, runWriterT,
                                                           sets_)
-import           Text.PrettyPrint
 
+import           Data.Monoid.Compat                      ((<>))
+import           Text.PrettyPrint                        hiding ((<>))
+
 import qualified Ivory.Language.Array                    as I
 import qualified Ivory.Language.Syntax.AST               as I
 import           Ivory.Language.Syntax.Concrete.Location
@@ -178,8 +180,7 @@
   if null dups then return ()
     else hPutStrLn stderr $ render (vcat (map docDups dups) $$ empty)
   where
-  docDups x = text "*** WARNING"
-           <> colon
+  docDups x = (text "*** WARNING" <> colon)
           <+> quotes (text x)
           <+> text "has multiple definitions."
 
diff --git a/src/Ivory/Opts/Utils.hs b/src/Ivory/Opts/Utils.hs
--- a/src/Ivory/Opts/Utils.hs
+++ b/src/Ivory/Opts/Utils.hs
@@ -6,7 +6,8 @@
 
 where
 
-import           Text.PrettyPrint
+import           Data.Monoid.Compat                      ((<>))
+import           Text.PrettyPrint                        hiding ((<>))
 
 import qualified Ivory.Language.Syntax.AST               as I
 import           Ivory.Language.Syntax.Concrete.Location
@@ -47,7 +48,7 @@
     _  ->
          hPutStrLn stderr
        $ render
-       $ text "***" <+> text "Module" <+> text m <> colon
+       $ text "***" <+> text "Module" <+> (text m <> colon)
       $$ nest 2 (vcat (map (showSymErrs doc) errs))
       $$ empty
 
@@ -57,7 +58,7 @@
   case errs of
     [] -> empty
     _  ->
-         text "***" <+> text "Symbol" <+> text sym <> colon
+         text "***" <+> text "Symbol" <+> (text sym <> colon)
       $$ nest 2 (vcat (map doc errs))
       $$ empty
 
@@ -65,4 +66,4 @@
 showWithLoc sh (Located loc a) =
   case loc of
     NoLoc -> sh a
-    _     -> text (prettyPrint (pretty loc)) <> colon <+> sh a
+    _     -> text (prettyPrint (pretty loc)) <> (colon <+> sh a)