diff --git a/src/Act/Consistency.hs b/src/Act/Consistency.hs
index c4e7b20b..a24f3028 100644
--- a/src/Act/Consistency.hs
+++ b/src/Act/Consistency.hs
@@ -83,7 +83,7 @@ mkCaseQuery props behvs@((Behaviour _ _ (Interface ifaceName decls) preconds _ _
         , _minitargs = []
         }
 mkCaseQuery _ [] = error "Internal error: behaviours cannot be empty"
-  
+
 -- | Checks nonoverlapping and exhaustiveness of cases
 checkCases :: Act -> Solvers.Solver -> Maybe Integer -> Bool -> IO ()
 checkCases (Act _ contracts) solver' smttimeout debug = do
diff --git a/src/Act/Print.hs b/src/Act/Print.hs
index a5244205..3968c3f5 100644
--- a/src/Act/Print.hs
+++ b/src/Act/Print.hs
@@ -230,8 +230,7 @@ prettyInvPred = prettyExp . untime . fst
       Var p t at a -> Var p t at a
 
 
-
--- backwards compatibility with Text.PrettyPrint.ANSI.Leijen
+-- | Doc type for terminal output
 type DocAnsi = Doc Term.AnsiStyle
 
 -- | prints a Doc, with wider output than the built in `putDoc`