diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -141,7 +141,8 @@
 documentation on Hackage.
 
 FitSpec has been subject to a paper, see the
-[FitSpec paper on Haskell Symposium 2016](https://matela.com.br/paper/fitspec.pdf)
+[FitSpec paper on Haskell Symposium 2016](https://matela.com.br/paper/fitspec.pdf).
+FitSpec is also subject to a chapter in a [PhD Thesis (2017)].
 
 [Listable]:    https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html#t:Listable
 [Mutable]:     https://hackage.haskell.org/package/fitspec/docs/Test-FitSpec.html#t:Mutable
@@ -155,6 +156,7 @@
 [TH]:      https://wiki.haskell.org/Template_Haskell
 [Cabal]:   https://www.haskell.org/cabal
 [Haskell]: https://www.haskell.org/
+[PhD Thesis (2017)]: https://matela.com.br/paper/rudy-phd-thesis-2017.pdf
 
 [build-status]: https://travis-ci.org/rudymatela/fitspec.svg?branch=master
 [build-log]:    https://travis-ci.org/rudymatela/fitspec
diff --git a/bench/pretty.hs b/bench/pretty.hs
--- a/bench/pretty.hs
+++ b/bench/pretty.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE CPP #-}
 import Test.FitSpec
-import Text.PrettyPrint
+import Text.PrettyPrint as P
 
 #if __GLASGOW_HASKELL__ < 710
 -- pretty <= 1.1.1.1 (bundled with GHC <= 7.8)  does not provide this instance
@@ -46,7 +46,7 @@
 
 main = do
   as <- getArgs
-  let run ps = reportWith as ((<>),($$),nest) (uncurry3 ps)
+  let run ps = reportWith as ((P.<>),($$),nest) (uncurry3 ps)
   case concat (extra as) of
     "qs"    -> run propertiesQS
     ""      -> run properties
diff --git a/fitspec.cabal b/fitspec.cabal
--- a/fitspec.cabal
+++ b/fitspec.cabal
@@ -1,5 +1,5 @@
 name:                fitspec
-version:             0.4.4
+version:             0.4.5
 synopsis:            refining property sets for testing Haskell programs
 description:
   FitSpec provides automated assistance in the task of refining test properties
@@ -22,7 +22,7 @@
 maintainer:          Rudy Matela <rudy@matela.com.br>
 category:            Testing
 build-type:          Simple
-cabal-version:       >=1.18
+cabal-version:       1.18
 
 extra-doc-files: README.md
                , CREDITS.md
@@ -38,7 +38,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/fitspec
-  tag:             v0.4.4
+  tag:             v0.4.5
 
 
 library