diff --git a/Data/Eq/Type.hs b/Data/Eq/Type.hs
--- a/Data/Eq/Type.hs
+++ b/Data/Eq/Type.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE Rank2Types, TypeOperators #-}
 -----------------------------------------------------------------------------
 -- |
--- Module      :  Data.Type.Eq
+-- Module      :  Data.Eq.Type
 -- Copyright   :  (C) 2011 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
@@ -50,7 +50,6 @@
 refl = Refl id
 
 newtype Coerce a = Coerce { uncoerce :: a } 
-
 -- | If two things are equal you can convert one to the other
 coerce :: a := b -> a -> b
 coerce f = uncoerce . subst f . Coerce
diff --git a/eq.cabal b/eq.cabal
--- a/eq.cabal
+++ b/eq.cabal
@@ -1,6 +1,6 @@
 name:          eq
 category:      Type System
-version:       0.1.2
+version:       0.1.3
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE