diff --git a/reflection.cabal b/reflection.cabal
--- a/reflection.cabal
+++ b/reflection.cabal
@@ -1,5 +1,5 @@
 name:           reflection
-version:        1.5.2
+version:        1.5.2.1
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett, Elliott Hird, Oleg Kiselyov and Chung-chieh Shan
@@ -20,54 +20,13 @@
   multible configurations to coexist without resorting to mutable
   global variables or 'System.IO.Unsafe.unsafePerformIO'.
   .
-  An example is modular arithmetic where the modulus itself can be
-  supplied at run-time:
-  .
-  @
-    foo :: Modular s => Modulus s
-    foo = 1000 * 1000 * 5 + 2000
-  @ 
-  >>> withModulus 1280 foo
-  1040
-  .
-  given the following setup:
-  .
-  @
-    {-# LANGUAGE ScopedTypeVariables, RankNTypes, ConstraintKinds, FlexibleContexts, UndecidableInstances #-}
-  .
-    import Data.Proxy      (Proxy(Proxy))
-    import Data.Reflection (Reifies, reflect, reify)
-  @
-  .
-  and definitions:
-  .
-  @
-    data Modulus s = M { getModulus :: Integer }
-    type Modular s = 'Data.Reflection.Reifies' s Integer
-  .
-    normalize :: forall s. Modular s => Integer -> Modulus s
-    normalize n = M (mod n modulus) where
-       modulus = 'Data.Reflection.reflect' ('Data.Proxy.Proxy' :: 'Data.Proxy.Proxy' s)
-  .
-    instance Modular s => Num (Modulus s) where
-       M a + M b = normalize (a + b)
-       M a * M b = normalize (a * b)
-  .
-    withModulus :: Integer -> (forall s. Modular s => Modulus s) -> Integer
-    withModulus m v = 'Data.Reflection.reify' m (getModulus . asProxyOf v)
-       where
-       asProxyOf :: f s -> Proxy s -> f s
-       asProxyOf = const
-  @
-  .
   That package is an implementation of the ideas presented in the
   paper \"Functional Pearl: Implicit Configurations\" by Oleg Kiselyov
-  and Chung-chieh Shan (<http://okmij.org/ftp/Haskell/tr-15-04.pdf original paper>). However, the API has been streamlined to improve
-  performance.
+  and Chung-chieh Shan (<http://okmij.org/ftp/Haskell/tr-15-04.pdf original paper>).
+  However, the API has been streamlined to improve performance.
   .
   Austin Seipp's tutorial <https://www.fpcomplete.com/user/thoughtpolice/using-reflection Reflecting values to types and back> provides a summary of the
-  approach taken by this library, along with more motivating
-  examples.
+  approach taken by this library, along with more motivating examples.
 
 extra-source-files:
   examples/Monoid.hs