diff --git a/type-level-natural-number-induction.cabal b/type-level-natural-number-induction.cabal
--- a/type-level-natural-number-induction.cabal
+++ b/type-level-natural-number-induction.cabal
@@ -1,5 +1,5 @@
 Name:                type-level-natural-number-induction
-Version:             1.0
+Version:             1.0.0.1
 License:             BSD3
 License-file:        LICENSE
 Author:              Gregory Crosswhite
@@ -7,23 +7,23 @@
 Stability:           Provisional
 Synopsis:            High-level combinators for performing inductive operations.
 Description:         This package provides high-level combinators for working
-		     with inductive structures --- that is, structures tagged
+                     with inductive structures --- that is, structures tagged
                      with a phantom type-level natural number.  Combinators
-		     are provided for building up a structure from seed data
-		     using induction, tearing down a structure to obtain a
-		     result, and inductively transforming one structure into
-		     another with the same size.
-		     .
-		     This package uses the type-level-natural-number package for
-		     its type-level representations of the natural numbers.  The
-		     only non-Haskell 2010 extension it needs is Rank2Types.
+                     are provided for building up a structure from seed data
+                     using induction, tearing down a structure to obtain a
+                     result, and inductively transforming one structure into
+                     another with the same size.
+                    .
+                     This package uses the type-level-natural-number package for
+                     its type-level representations of the natural numbers.  The
+                     only non-Haskell 2010 extension it needs is Rank2Types.
 Cabal-version:       >=1.2.3
 Build-type:          Simple
 Category:	     Type System,Data
 
 Library
     Build-depends:   base >= 3 && < 5,
-                     transformers >= 0.2 && < 0.3,
+                     transformers >= 0.2 && < 0.4,
                      type-level-natural-number >= 1.0 && < 1.2
     Exposed-modules: TypeLevel.NaturalNumber.Induction
     Extensions:	     Rank2Types