diff --git a/Type/Spine/Stage0.hs b/Type/Spine/Stage0.hs
--- a/Type/Spine/Stage0.hs
+++ b/Type/Spine/Stage0.hs
@@ -10,7 +10,7 @@
 Stability   :  experimental
 Portability :  see LANGUAGE pragmas (... GHC)
 
-Declares the type wrappers (mappings @k -> *) for 'allKinds' and then defines
+Declares the type wrappers (mappings @k -> *@) for 'allKinds' and then defines
 functions for referencing them. Also provides a Template Haskell function for
 generating the @Spine@ type instances for user-defined datatypes.
 
@@ -25,8 +25,8 @@
 import Control.Monad ((<=<))
 
 
--- | The @Spine@ type family represents its argument as either a @TypeName@ or
--- an application via @(:@)@.
+-- | The @Spine@ type family represents its argument as either a 'TypeName' or
+-- an application via ':@'.
 type family Spine t
 
 -- | @TypeName@ represents an occurrence of totally unapplied type name.
diff --git a/type-spine.cabal b/type-spine.cabal
--- a/type-spine.cabal
+++ b/type-spine.cabal
@@ -1,5 +1,5 @@
 Name:           type-spine
-Version:        0.1.1
+Version:        0.1.2
 License:        BSD3
 License-File:   LICENSE
 Author:         Nicolas Frisby <nicolas.frisby@gmail.com>