diff --git a/src/System/Timing.hs b/src/System/Timing.hs
--- a/src/System/Timing.hs
+++ b/src/System/Timing.hs
@@ -1,7 +1,7 @@
 -- |
 -- Copyright   : (c) 2011 Simon Meier
 -- License     : GPL v3 (see LICENSE)
--- 
+--
 -- Maintainer  : Simon Meier <iridcode@gmail.com>
 -- Portability : GHC only
 --
@@ -11,8 +11,8 @@
   , timed_
 ) where
 
-import Control.Monad
-import Data.Time.Clock
+import           Control.Monad
+import           Data.Time.Clock
 
 -- | Execute an IO action and return its result plus the time it took to execute it.
 timed :: IO a -> IO (a, NominalDiffTime)
diff --git a/tamarin-prover-utils.cabal b/tamarin-prover-utils.cabal
--- a/tamarin-prover-utils.cabal
+++ b/tamarin-prover-utils.cabal
@@ -2,7 +2,7 @@
 
 cabal-version:      >= 1.8
 build-type:         Simple
-version:            0.8.0.1
+version:            0.8.1.0
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers