diff --git a/essence-of-live-coding-quickcheck.cabal b/essence-of-live-coding-quickcheck.cabal
--- a/essence-of-live-coding-quickcheck.cabal
+++ b/essence-of-live-coding-quickcheck.cabal
@@ -1,5 +1,5 @@
 name:                essence-of-live-coding-quickcheck
-version:             0.2.4
+version:             0.2.5
 synopsis: General purpose live coding framework - QuickCheck integration
 description:
   essence-of-live-coding is a general purpose and type safe live coding framework.
@@ -31,14 +31,14 @@
 source-repository this
   type:     git
   location: git@github.com:turion/essence-of-live-coding.git
-  tag:      v0.2.3
+  tag:      v0.2.5
 
 
 library
   exposed-modules:     LiveCoding.QuickCheck
   build-depends:
       base >= 4.11 && < 5
-    , essence-of-live-coding >= 0.2.4
+    , essence-of-live-coding >= 0.2.5
     , transformers >= 0.5
     , syb >= 0.7
     , QuickCheck >= 2.12
diff --git a/src/LiveCoding/QuickCheck.lhs b/src/LiveCoding/QuickCheck.lhs
--- a/src/LiveCoding/QuickCheck.lhs
+++ b/src/LiveCoding/QuickCheck.lhs
@@ -116,7 +116,7 @@
 We can unit test all components of a new version of our live program before reloading it.
 To go further, one could set up \emph{stateful property-based testing} \cite{ProperTesting} for the live coding environment.
 
-\paragraph{Migration tests}
+\paragraph{Migration Tests}
 Even better, we can test \emph{before reloading}
 whether the newly migrated state would be valid.
 Given some tests on intermediate values in the computation,