diff --git a/Data/Reflection.hs b/Data/Reflection.hs
--- a/Data/Reflection.hs
+++ b/Data/Reflection.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
+{-# LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
 {-# OPTIONS_GHC -fno-cse -fno-full-laziness -fno-float-in #-}
 
 ----------------------------------------------------------------------------
@@ -17,7 +17,7 @@
 -- <http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf>
 --
 -- Modified to minimize extensions and work with Data.Proxy rather than 
--- explicit scoped type variables by Edward Kmett.
+-- explicit scoped type variables and undefined values by Edward Kmett.
 --
 -------------------------------------------------------------------------------
 
diff --git a/reflection.cabal b/reflection.cabal
--- a/reflection.cabal
+++ b/reflection.cabal
@@ -1,24 +1,32 @@
-name:		    reflection
-version:	    0.4.0
-license:	    BSD3
+name:		reflection
+version:	0.4.0.1
+license:	BSD3
 license-file:   LICENSE
-author:		    Edward A. Kmett, Oleg Kiselyov and Chung-chieh Shan
-maintainer:	    Edward A. Kmett <ekmett@gmail.com>
-stability:	    experimental
-homepage:	    http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
-category:	    Data, Reflection, Dependent Types
-synopsis:	    Functional Pearl: Implicit Configurations
+author:		Edward A. Kmett, Oleg Kiselyov and Chung-chieh Shan
+maintainer:	Edward A. Kmett <ekmett@gmail.com>
+stability:	experimental
+homepage:	http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
+category:	Data, Reflection, Dependent Types
+synopsis:	Functional Pearl: Implicit Configurations
 copyright:      2009 Edward A. Kmett, 2004 Oleg Kiselyov and Chung-chieh Shan
 description:    Implementation of the ideas presented in the paper "Functional Pearl: Implicit Configurations" by Oleg Kiselyov and Chung-chieh Shan.
                 Modified to avoid the use of scoped type variables, and to use a phantom type wrapper rather than dummy arguments.
 build-type:     Simple
-cabal-version:  >=1.2
+cabal-version:  >=1.6
 
+source-repository head
+  type: git
+  location: git://github.com/ekmett/reflection.git
+
 library
+  other-extensions:
+    Rank2Types
+    MultiParamTypeClasses
+    FunctionalDependencies
+    FlexibleInstances
   build-depends: 
     base >= 4 && < 5,
     tagged >= 0.2.2 && < 0.3
   exposed-modules:
     Data.Reflection
-    
   ghc-options: -Wall