diff --git a/Language/Haskell/TH/ExpandSyns.hs b/Language/Haskell/TH/ExpandSyns.hs
--- a/Language/Haskell/TH/ExpandSyns.hs
+++ b/Language/Haskell/TH/ExpandSyns.hs
@@ -202,7 +202,7 @@
 --
 -- > type E x = forall y. Either x y
 -- >
--- > ... expandSyns [t| forall y. E y |]
+-- > ... expandSyns [t| forall y. y -> E y |]
 --
 -- The example as given may actually work correctly without any special capture-avoidance depending
 -- on how GHC handles the @y@s, but in any case, the input type to expandSyns may be an explicit
@@ -291,5 +291,5 @@
 substInType = subst
 
 -- | Capture-free substitution
-substInCon :: (Name,Type) -> Type -> Type
+substInCon :: (Name,Type) -> Con -> Con
 substInCon = subst
diff --git a/th-expand-syns.cabal b/th-expand-syns.cabal
--- a/th-expand-syns.cabal
+++ b/th-expand-syns.cabal
@@ -1,5 +1,5 @@
 name:                th-expand-syns
-version:             0.3.0.2
+version:             0.3.0.3
 synopsis:            Expands type synonyms in Template Haskell ASTs
 description:         Expands type synonyms in Template Haskell ASTs
 category:            Template Haskell
@@ -12,8 +12,8 @@
 extra-source-files:  testing/Main.hs
 
 source-repository head
- type: darcs
- location: http://code.haskell.org/~daniels/th-expand-syns
+ type: git
+ location: git://github.com/DanielSchuessler/th-expand-syns.git
 
 Library
     build-depends:       base >= 4 && < 5, template-haskell, syb, containers