diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,15 @@
+1.0.2.1
+
+* Refer to Michael Snoyman's excellent tutorial on monad-control.
+
+
+1.0.2.0
+
+* Improve documentation by including type equalities in the Haddock documentation.
+
+* Add helpers to define MonadTransControl for stack of two:
+  RunDefault2, defaultLiftWith2, defaultRestoreT2
+
 1.0.1.0
 
 * Added the functions:
diff --git a/Control/Monad/Trans/Control.hs b/Control/Monad/Trans/Control.hs
--- a/Control/Monad/Trans/Control.hs
+++ b/Control/Monad/Trans/Control.hs
@@ -17,12 +17,24 @@
 #endif
 
 {- |
-Module      :  Control.Monad.Trans.Control
 Copyright   :  Bas van Dijk, Anders Kaseorg
-License     :  BSD-style
-
+License     :  BSD3
 Maintainer  :  Bas van Dijk <v.dijk.bas@gmail.com>
-Stability   :  experimental
+
+This module defines the type class 'MonadBaseControl', a subset of
+'MonadBase' into which generic control operations such as @catch@ can be
+lifted from @IO@ or any other base monad. Instances are based on monad
+transformers in 'MonadTransControl', which includes all standard monad
+transformers in the @transformers@ library except @ContT@.
+
+See the <http://hackage.haskell.org/package/lifted-base lifted-base>
+package which uses @monad-control@ to lift @IO@
+operations from the @base@ library (like @catch@ or @bracket@) into any monad
+that is an instance of @MonadBase@ or @MonadBaseControl@.
+
+See the following tutorial by Michael Snoyman on how to use this package:
+
+<https://www.yesodweb.com/book/monad-control>
 -}
 
 module Control.Monad.Trans.Control
diff --git a/monad-control.cabal b/monad-control.cabal
--- a/monad-control.cabal
+++ b/monad-control.cabal
@@ -1,5 +1,5 @@
 Name:                monad-control
-Version:             1.0.2.0
+Version:             1.0.2.1
 Synopsis:            Lift control operations, like exception catching, through monad transformers
 License:             BSD3
 License-file:        LICENSE
@@ -18,7 +18,8 @@
   transformers in @MonadTransControl@, which includes all standard monad
   transformers in the @transformers@ library except @ContT@.
   .
-  See the @lifted-base@ package which uses @monad-control@ to lift @IO@
+  See the <http://hackage.haskell.org/package/lifted-base lifted-base>
+  package which uses @monad-control@ to lift @IO@
   operations from the @base@ library (like @catch@ or @bracket@) into any monad
   that is an instance of @MonadBase@ or @MonadBaseControl@.
   .