diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,8 +1,8 @@
-Copyright © 2004       Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center)
-Copyright © 2004       Ralf Lämmel (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam)
-Copyright © 2004       Keean Schupke (Imperial College London)
-Copyright © 2008, 2009 Brandenburgische Technische Universität Cottbus
-Copyright © 2011       Wolfgang Jeltsch
+Copyright © 2004      Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center)
+Copyright © 2004      Ralf Lämmel (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam)
+Copyright © 2004      Keean Schupke (Imperial College London)
+Copyright © 2008 2009 Brandenburgische Technische Universität Cottbus
+Copyright © 2011–2012 Wolfgang Jeltsch
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification, are permitted
diff --git a/type-equality-check.cabal b/type-equality-check.cabal
--- a/type-equality-check.cabal
+++ b/type-equality-check.cabal
@@ -1,27 +1,27 @@
 Name:          type-equality-check
-Version:       0.0.0.2
+Version:       0.0.0.3
 Cabal-Version: >= 1.6
 Build-Type:    Simple
 License:       BSD3
 License-File:  LICENSE
-Copyright:     © 2004       Oleg Kiselyov
-                            (Fleet Numerical Meteorology and Oceanography Center);
-               © 2004       Ralf Lämmel
-                            (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam);
-               © 2004       Keean Schupke
-                            (Imperial College London);
-               © 2008, 2009 Brandenburgische Technische Universität Cottbus;
-               © 2011       Wolfgang Jeltsch
+Copyright:     © 2004      Oleg Kiselyov
+                           (Fleet Numerical Meteorology and Oceanography Center);
+               © 2004      Ralf Lämmel
+                           (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam);
+               © 2004      Keean Schupke
+                           (Imperial College London);
+               © 2008–2009 Brandenburgische Technische Universität Cottbus;
+               © 2011–2012 Wolfgang Jeltsch
 Author:        Wolfgang Jeltsch
 Maintainer:    wolfgang@cs.ioc.ee
 Stability:     provisional
 Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check
-Package-URL:   http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.2/type-equality-check-0.0.0.2.tar.gz
+Package-URL:   http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.3/type-equality-check-0.0.0.3.tar.gz
 Synopsis:      Type equality check
 Description:   This packages provides a type equality check whose implementation is basically the
                one from the HList library.
 Category:      Data
-Tested-With:   GHC == 7.0.4
+Tested-With:   GHC == 7.4.1
 
 Source-Repository head
     type:     darcs
@@ -30,10 +30,10 @@
 Source-Repository this
     type:     darcs
     location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main
-    tag:      type-equality-check-0.0.0.2
+    tag:      type-equality-check-0.0.0.3
 
 Library
-    Build-Depends:   base       >= 3.0 && < 4.4,
+    Build-Depends:   base       >= 3.0 && < 5,
                      type-level >= 0.1 && < 0.3
     Extensions:      FlexibleContexts
                      FlexibleInstances