diff --git a/ChasingBottoms.cabal b/ChasingBottoms.cabal
--- a/ChasingBottoms.cabal
+++ b/ChasingBottoms.cabal
@@ -1,8 +1,8 @@
 name:               ChasingBottoms
-version:            1.3.0.13
+version:            1.3.0.14
 license:            MIT
 license-file:       LICENCE
-copyright:          Copyright (c) Nils Anders Danielsson 2004-2015.
+copyright:          Copyright (c) Nils Anders Danielsson 2004-2016.
 author:             Nils Anders Danielsson
 maintainer:         http://www.cse.chalmers.se/~nad/
 synopsis:           For testing partial and infinite values.
@@ -78,22 +78,22 @@
   bottoms:
   .
   @
-  > let tweak = Tweak { approxDepth = Just 5, timeOutLimit = Just 2 }
-  > semanticEq tweak (reverse [1..], [1..]) (bottom :: [Int], [1..] :: [Int])
+  \> let tweak = Tweak { approxDepth = Just 5, timeOutLimit = Just 2 }
+  \> semanticEq tweak (reverse [1..], [1..]) (bottom :: [Int], [1..] :: [Int])
   True
   @
   .
   @
-  > let tweak = noTweak { timeOutLimit = Just 2 }
-  > semanticJoin tweak (reverse [1..], True) ([] :: [Int], bottom)
+  \> let tweak = noTweak { timeOutLimit = Just 2 }
+  \> semanticJoin tweak (reverse [1..], True) ([] :: [Int], bottom)
   Just ([],True)
   @
   .
   This can of course be dangerous:
   .
   @
-  > let tweak = noTweak { timeOutLimit = Just 0 }
-  > semanticEq tweak (reverse [1..100000000]) (bottom :: [Integer])
+  \> let tweak = noTweak { timeOutLimit = Just 0 }
+  \> semanticEq tweak (reverse [1..100000000]) (bottom :: [Integer])
   True
   @
   .
@@ -117,7 +117,7 @@
   the rest requires @Data.Generics@; @isBottom@ only requires
   exceptions, though.
 category:           Testing
-tested-with:        GHC == 7.10.1
+tested-with:        GHC == 7.10.3
 cabal-version:      >= 1.9.2
 build-type:         Simple
 
@@ -140,10 +140,10 @@
 
     build-depends: QuickCheck >= 2.1 && < 2.9,
                    mtl >= 1.1 && < 2.3,
-                   base >= 4.0 && < 4.9,
+                   base >= 4.0 && < 4.10,
                    containers >= 0.3 && < 0.6,
                    random >= 1.0 && < 1.2,
-                   syb >= 0.1.0.2 && < 0.6
+                   syb >= 0.1.0.2 && < 0.7
 
 test-suite ChasingBottomsTestSuite
     type:          exitcode-stdio-1.0
@@ -163,8 +163,8 @@
 
     build-depends: QuickCheck >= 2.1 && < 2.9,
                    mtl >= 1.1 && < 2.3,
-                   base >= 4.0 && < 4.9,
+                   base >= 4.0 && < 4.10,
                    containers >= 0.3 && < 0.6,
                    random >= 1.0 && < 1.2,
-                   syb >= 0.1.0.2 && < 0.6,
+                   syb >= 0.1.0.2 && < 0.7,
                    array >= 0.3 && < 0.6
diff --git a/LICENCE b/LICENCE
--- a/LICENCE
+++ b/LICENCE
@@ -1,7 +1,7 @@
 I have chosen to distribute this library under the MIT/Expat licence:
 ---------------------------------------------------------------------
 
-Copyright (c) 2004-2015 Nils Anders Danielsson
+Copyright (c) 2004-2016 Nils Anders Danielsson
 
 Permission is hereby granted, free of charge, to any person obtaining a
 copy of this software and associated documentation files (the
diff --git a/Test/ChasingBottoms.hs b/Test/ChasingBottoms.hs
--- a/Test/ChasingBottoms.hs
+++ b/Test/ChasingBottoms.hs
@@ -1,6 +1,6 @@
 -- |
 -- Module      :  Test.ChasingBottoms
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/Approx.hs b/Test/ChasingBottoms/Approx.hs
--- a/Test/ChasingBottoms/Approx.hs
+++ b/Test/ChasingBottoms/Approx.hs
@@ -3,7 +3,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.Approx
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/ApproxShow.hs b/Test/ChasingBottoms/ApproxShow.hs
--- a/Test/ChasingBottoms/ApproxShow.hs
+++ b/Test/ChasingBottoms/ApproxShow.hs
@@ -3,7 +3,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.ApproxShow
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/ContinuousFunctions.hs b/Test/ChasingBottoms/ContinuousFunctions.hs
--- a/Test/ChasingBottoms/ContinuousFunctions.hs
+++ b/Test/ChasingBottoms/ContinuousFunctions.hs
@@ -12,7 +12,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.ContinuousFunctions
--- Copyright   :  (c) Nils Anders Danielsson 2005-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2005-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/IsBottom.hs b/Test/ChasingBottoms/IsBottom.hs
--- a/Test/ChasingBottoms/IsBottom.hs
+++ b/Test/ChasingBottoms/IsBottom.hs
@@ -5,7 +5,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.IsBottom
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/IsType.hs b/Test/ChasingBottoms/IsType.hs
--- a/Test/ChasingBottoms/IsType.hs
+++ b/Test/ChasingBottoms/IsType.hs
@@ -1,6 +1,6 @@
 -- |
 -- Module      :  Test.ChasingBottoms.IsType
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/Nat.hs b/Test/ChasingBottoms/Nat.hs
--- a/Test/ChasingBottoms/Nat.hs
+++ b/Test/ChasingBottoms/Nat.hs
@@ -2,7 +2,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.Nat
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/SemanticOrd.hs b/Test/ChasingBottoms/SemanticOrd.hs
--- a/Test/ChasingBottoms/SemanticOrd.hs
+++ b/Test/ChasingBottoms/SemanticOrd.hs
@@ -3,7 +3,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.SemanticOrd
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/TimeOut.hs b/Test/ChasingBottoms/TimeOut.hs
--- a/Test/ChasingBottoms/TimeOut.hs
+++ b/Test/ChasingBottoms/TimeOut.hs
@@ -2,7 +2,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.TimeOut
--- Copyright   :  (c) Nils Anders Danielsson 2004-2015
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2016
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/