diff --git a/src/Data/TypeLevel/Num/Sets.hs b/src/Data/TypeLevel/Num/Sets.hs
--- a/src/Data/TypeLevel/Num/Sets.hs
+++ b/src/Data/TypeLevel/Num/Sets.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE TypeOperators, FlexibleInstances, FlexibleContexts,
-             UndecidableInstances, PatternSignatures, ScopedTypeVariables,
+             UndecidableInstances, ScopedTypeVariables,
              Rank2Types #-}
 {-# OPTIONS_GHC -fno-warn-incomplete-patterns -fno-warn-name-shadowing #-}
 -----------------------------------------------------------------------------
diff --git a/type-level.cabal b/type-level.cabal
--- a/type-level.cabal
+++ b/type-level.cabal
@@ -1,5 +1,5 @@
 name:           type-level
-version:        0.2.3
+version:        0.2.4
 cabal-version:  >= 1.2
 build-type:     Simple
 license:        BSD3
@@ -33,17 +33,17 @@
  parameterized by the modulus).
 
  Here is a tutorial on type-level numerals and how to use them to
- implement numerically-parameterized vectors: <http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec>
+ implement numerically-parameterized vectors: <http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec>
 
 
 category:       Data
-tested-with:    GHC==6.8.2
+tested-with:    GHC==6.10.4
 extra-source-files: LICENSE,
                     README
 
 -- depends on ghc due to the use of infix type constructors and template haskell
 Library
-  build-depends:   base >=3 && <5, template-haskell > 2.0
+  build-depends:   base >=4 && <6, template-haskell > 2.0, syb
   hs-source-dirs:  src
   exposed-modules: Data.TypeLevel,
                    Data.TypeLevel.Bool,