diff --git a/Math/SMT/Yices/Parser.hs b/Math/SMT/Yices/Parser.hs
--- a/Math/SMT/Yices/Parser.hs
+++ b/Math/SMT/Yices/Parser.hs
@@ -210,8 +210,8 @@
 setao = tok "set-arith-only!" >> liftM SETAO boolean
 push = tok "push" >> return PUSH
 pop = tok "pop" >> return POP
-echo = paren $ liftM ECHO stringLiteral
-include = paren $ liftM ECHO stringLiteral
+echo = tok "echo" >> liftM ECHO stringLiteral
+include = tok "include" >> liftM ECHO stringLiteral
 reset = tok "reset" >> return RESET
 status = tok "status" >> return DUMP
 dump = tok "dump-context" >> return DUMP
diff --git a/Math/SMT/Yices/Pipe.hs b/Math/SMT/Yices/Pipe.hs
--- a/Math/SMT/Yices/Pipe.hs
+++ b/Math/SMT/Yices/Pipe.hs
@@ -89,10 +89,10 @@
                            then liftM (line:) (hGetLinesWhile p h)
                            else return []
 
+{-
 hGetReadyString1 h = liftM2 (:) (hGetChar h) (hGetReadyString h)
 
 hGetReadyString h =
   do ready <- hReady h
      if ready then liftM2 (:) (hGetChar h) (hGetReadyString h) else return []
-
-
+-}
diff --git a/yices.cabal b/yices.cabal
--- a/yices.cabal
+++ b/yices.cabal
@@ -1,5 +1,5 @@
 name:                yices
-version:             0.0.0.1
+version:             0.0.0.3
 synopsis:            Haskell programming interface to Yices SMT solver
 description:         Incomplete (no bitvectors) syntax, parser, and inter
                      process communication to Yices from Haskell through pipe.