diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,5 @@
+2014-10-13 v0.7.2.8
+	lower bounds on parsec and haskell-token-utils
 2014-08-20 v0.7.2.7
 	Upper bound on ghc-mod until 5.0 is released and stabilises
 2014-07-20 v0.7.2.6
diff --git a/HaRe.cabal b/HaRe.cabal
--- a/HaRe.cabal
+++ b/HaRe.cabal
@@ -1,5 +1,5 @@
 Name:                           HaRe
-Version:                        0.7.2.7
+Version:                        0.7.2.8
 Author:                         Chris Brown, Huiqing Li, Simon Thompson, Alan Zimmerman
 Maintainer:                     Alan Zimmerman
 Stability:                      Alpha
@@ -66,7 +66,7 @@
                                 , Strafunski-StrategyLib
                                 , syz
 
-                                , haskell-token-utils >= 0.0.0.4
+                                , haskell-token-utils >= 0.0.0.6
 
         GHC-Options:             -Wall
 
@@ -121,7 +121,7 @@
                                 , ghc-mod >= 4.1.0 && < 5
                                 , mtl
                                 , old-time
-                                , parsec
+                                , parsec >= 3.1.6
                                 , pretty
                                 , rosezipper
                                 , syb
@@ -130,7 +130,7 @@
                                 , hslogger
                                 , Strafunski-StrategyLib
                                 , syz
-                                , haskell-token-utils
+                                , haskell-token-utils >= 0.0.0.6
                                 , HaRe >= 0.7.2.3
         Extensions:      CPP
 
@@ -185,7 +185,7 @@
     , hslogger
     , Strafunski-StrategyLib
     , syz
-    , haskell-token-utils
+    , haskell-token-utils >= 0.0.0.6
     , HaRe >= 0.7.2.3
   Extensions:      CPP
 
diff --git a/src/MainHaRe.hs b/src/MainHaRe.hs
--- a/src/MainHaRe.hs
+++ b/src/MainHaRe.hs
@@ -199,10 +199,12 @@
 
 type P = Parsec String ()
 
+{-
 instance (Monad m) => Stream String m Char where
     -- uncons = return . T.uncons
     uncons [] = return Nothing
     uncons s  = return $ Just (head s,tail s)
+-}
 
 number :: String -> P Integer
 number expectedStr = do { ds <- many1 digit; return (read ds) } <?> expectedStr