diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+0.5.1
+
+* Update documentation
+
 0.5.0
 
 * Export the `ValidationB` (formerly `ValidationTB`) data type.
diff --git a/validation.cabal b/validation.cabal
--- a/validation.cabal
+++ b/validation.cabal
@@ -1,9 +1,10 @@
 name:               validation
-version:            0.5.0
+version:            0.5.1
 license:            BSD3
 license-file:       LICENSE
 author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>
 maintainer:         Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick Partridge <nkpart>
+copyright:          Copyright (C) 2010-2013 Tony Morris, Nick Partridge
 copyright:          Copyright (C) 2014,2015 NICTA Limited
 synopsis:           A data-type like Either but with an accumulating Applicative
 category:           Data
@@ -55,6 +56,12 @@
   no possible `MonadTrans` instance. Consequently, the `ValidationT` data type
   provides a `MonadTrans` instance (but not a `Bifunctor` instance). Library
   support is provided to exploit the isomorphism to `ValidationT`.
+  .
+  * `Validation'`
+  .
+  The `Validation' err a` type-alias is equivalent to 
+  `ValidationT err Identity a` and so is isomorphic to `Either` and others.
+  Libraries are supplied accordingly.
 
 homepage:           https://github.com/NICTA/validation
 bug-reports:        https://github.com/NICTA/validation/issues