diff --git a/ChangeLog b/ChangeLog
new file mode 100644
--- /dev/null
+++ b/ChangeLog
@@ -0,0 +1,4 @@
+2009-08-04 Ahn, Ki Yung kya@pdx.edu
+	* Math/SMT/Yices/Parser.hs (echo, include): fix obvious parser error
+	* Math/SMT/Yices/Pipe.hs (hGetReadyString, hGetReadyString1): comment
+	out unused definition
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
@@ -29,7 +29,7 @@
 -- | To read in the result of the (check) command
 data ResY
   = Sat [ExpY]
-  | UnSat [Int]
+  | UnSat [Integer]
   | InCon [String]
  deriving Show
 
diff --git a/yices.cabal b/yices.cabal
--- a/yices.cabal
+++ b/yices.cabal
@@ -1,5 +1,5 @@
 name:                yices
-version:             0.0.0.3
+version:             0.0.0.4
 synopsis:            Haskell programming interface to Yices SMT solver
 description:         Incomplete (no bitvectors) syntax, parser, and inter
                      process communication to Yices from Haskell through pipe.
@@ -17,7 +17,7 @@
 build-type:          Simple
 cabal-version:       >=1.2
 extra-source-files:  Main.hs
-data-files:          README
+data-files:          README, ChangeLog
 build-depends:       base >= 2 && < 6, haskell98, process, parsec
 exposed-modules:     Math.SMT.Yices.Syntax,
                      Math.SMT.Yices.Parser,