diff --git a/MonadLoc.hs b/MonadLoc.hs
--- a/MonadLoc.hs
+++ b/MonadLoc.hs
@@ -72,7 +72,7 @@
               Match _ name _ _ _ -> prettyPrint name
               InfixMatch _ _ name _ _ _ -> prettyPrint name
 
-annotateDecl mname e@(PatBind _ (PVar _ fn) _ _ _) = everywhere (mkT (annotateStatements (Just $ prettyPrint fn) mname)) e
+annotateDecl mname e@(PatBind _ (PVar _ fn) _ _) = everywhere (mkT (annotateStatements (Just $ prettyPrint fn) mname)) e
 annotateDecl mname e = everywhere (mkT (annotateStatements Nothing mname)) e
 
 annotateStatements :: Maybe String -> String -> Exp SrcSpanInfo -> Exp SrcSpanInfo
diff --git a/monadloc-pp.cabal b/monadloc-pp.cabal
--- a/monadloc-pp.cabal
+++ b/monadloc-pp.cabal
@@ -1,11 +1,11 @@
 name: monadloc-pp
-version: 0.3
+version: 0.3.1
 Cabal-Version:  >= 1.6
 build-type: Simple
 license: PublicDomain
 author: Pepe Iborra
 maintainer: pepeiborra@gmail.com
-homepage: http://github.com/pepeiborra/monadloc
+homepage: http://github.com/pepeiborra/monadloc-pp
 synopsis: A preprocessor for generating monadic call traces
 category: Control, Monads
 stability: experimental
@@ -21,7 +21,7 @@
 
 Executable MonadLoc
    buildable: True
-   build-depends: base >= 4 && < 5, pretty, syb, monadloc == 0.7, haskell-src-exts >= 1.14.0, filepath
+   build-depends: base >= 4 && < 5, pretty, syb, monadloc == 0.7, haskell-src-exts >= 1.16.0, filepath
    main-is: MonadLoc.hs
    ghc-options: -Wall -fno-warn-name-shadowing