diff --git a/Debug/Vampire/Rewrite.hs b/Debug/Vampire/Rewrite.hs
--- a/Debug/Vampire/Rewrite.hs
+++ b/Debug/Vampire/Rewrite.hs
@@ -10,8 +10,8 @@
     _           -> Nothing
 
 addHeader :: Module -> Module
-addHeader (Module loc name prag warn exports imports decls) =
-  Module loc name (implicit:prag) warn exports (trace:imports) decls
+addHeader (Module loc name prag warn _ imports decls) =
+  Module loc name (implicit:prag) warn Nothing (trace:imports) decls
     where implicit = LanguagePragma (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 1}) [Ident "ImplicitParams"]
           trace    = ImportDecl {importLoc = SrcLoc {srcFilename = "<unknown>.hs", srcLine = 5, srcColumn = 1}, importModule = ModuleName "Debug.Vampire.Trace", importQualified = False, importSrc = False, importPkg = Nothing, importAs = Nothing, importSpecs = Nothing}
 
diff --git a/vampire.cabal b/vampire.cabal
--- a/vampire.cabal
+++ b/vampire.cabal
@@ -10,7 +10,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.1.2.0
+version:             0.1.3.0
 
 -- A short (one-line) description of the package.
 synopsis:            Analyze and visualize expression trees.