diff --git a/CHANGES b/CHANGES
new file mode 100644
--- /dev/null
+++ b/CHANGES
@@ -0,0 +1,1 @@
+0.4: Fixes definiiton of `geq`
diff --git a/SimpleSMT.hs b/SimpleSMT.hs
--- a/SimpleSMT.hs
+++ b/SimpleSMT.hs
@@ -512,7 +512,7 @@
 
 -- | Greater-than-or-equal-to.
 geq :: SExpr -> SExpr -> SExpr
-geq x y = fun "<=" [x,y]
+geq x y = fun ">=" [x,y]
 
 -- | Less-than-or-equal-to.
 leq :: SExpr -> SExpr -> SExpr
diff --git a/simple-smt.cabal b/simple-smt.cabal
--- a/simple-smt.cabal
+++ b/simple-smt.cabal
@@ -1,5 +1,5 @@
 name:                simple-smt
-version:             0.3.0
+version:             0.4.0
 synopsis:            A simple way to interact with an SMT solver process.
 description:         A simple way to interact with an SMT solver process.
 license:             BSD3
@@ -9,6 +9,8 @@
 category:            Math
 build-type:          Simple
 cabal-version:       >=1.10
+
+extra-source-files:  CHANGES
 
 library
   exposed-modules:     SimpleSMT