diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
--- a/liquidhaskell.cabal
+++ b/liquidhaskell.cabal
@@ -1,5 +1,5 @@
 Name:                liquidhaskell
-Version:             0.4.0.0
+Version:             0.4.0.1
 Copyright:           2010-15 Ranjit Jhala, University of California, San Diego.
 build-type:          Simple
 Synopsis:            Liquid Types for Haskell 
@@ -83,7 +83,7 @@
                , liquidhaskell
 
   Main-is: Liquid.hs
---  ghc-options: -W
+  ghc-options: -W
 --  if flag(devel)
 --    ghc-options: -Werror
   Default-Extensions: PatternGuards
@@ -237,7 +237,7 @@
                     Language.Haskell.Liquid.Desugar.DsBinds,
                     Language.Haskell.Liquid.Desugar.DsGRHSs,
                     Language.Haskell.Liquid.Desugar.HscMain
---   ghc-options: -W
+   ghc-options: -W
 --   if flag(devel)
 --     ghc-options: -Werror
 --   ghc-prof-options: -fprof-auto
diff --git a/src/Language/Haskell/Liquid/Bare/Resolve.hs b/src/Language/Haskell/Liquid/Bare/Resolve.hs
--- a/src/Language/Haskell/Liquid/Bare/Resolve.hs
+++ b/src/Language/Haskell/Liquid/Bare/Resolve.hs
@@ -61,7 +61,7 @@
     | otherwise
     = do env <- gets (typeAliases . rtEnv)
          case M.lookup s env of
-           Nothing | isCon s -> do v <- lookupGhcVar ls -- $ Loc l s
+           Nothing | isCon s -> do v <- lookupGhcVar ls
                                    let qs = symbol v
                                    addSym (qs, v)
                                    return $ Loc l l' qs
diff --git a/src/Language/Haskell/Liquid/DiffCheck.hs b/src/Language/Haskell/Liquid/DiffCheck.hs
--- a/src/Language/Haskell/Liquid/DiffCheck.hs
+++ b/src/Language/Haskell/Liquid/DiffCheck.hs
@@ -181,10 +181,7 @@
 
 
 txClosure :: Deps -> S.HashSet Var -> S.HashSet Var -> S.HashSet Var
-txClosure d sigs xs = -- tracePpr "INCCHECK: tx changed vars" $
-                      go S.empty -- $
-                      -- tracePpr "INCCHECK: seed changed vars" $
-                      xs
+txClosure d sigs xs = go S.empty xs
   where
     next           = S.unions . fmap deps . S.toList
     deps x         = M.lookupDefault S.empty x d