diff --git a/regex-genex.cabal b/regex-genex.cabal
--- a/regex-genex.cabal
+++ b/regex-genex.cabal
@@ -1,9 +1,9 @@
 Name            : regex-genex
-Version         : 0.6.0
+Version         : 0.6.1
 license         : OtherLicense
 license-file    : LICENSE
 cabal-version   : >= 1.6
-copyright       : 2011-2013 Audrey Tang
+copyright       : 2011-2014 Audrey Tang
 maintainer      : Audrey Tang <audreyt@audreyt.org>
 category        : Text, Regex
 stability       : experimental
@@ -12,7 +12,7 @@
 synopsis        : From a regex, generate all possible strings it can match
 description     : From a regex, generate all possible strings it can match
 author          : Audrey Tang <audreyt@audreyt.org>
-Tested-With:    GHC==7.0.2 GHC==7.4.1
+Tested-With:    GHC==7.0.2 GHC==7.4.1 GHC==7.8.2
 
 library
     hs-source-dirs:     . src
@@ -20,7 +20,7 @@
     other-modules:    Regex.Genex.Pure
     extensions      : ImplicitParams, NamedFieldPuns, ParallelListComp, PatternGuards, RecordWildCards
     build-depends:
-        base >= 3 && < 5, mtl, containers, sbv, regex-tdfa, stream-monad, text, logict
+        base >= 3 && < 5, mtl, containers, sbv, regex-tdfa, stream-monad, text
 
 executable genex
     main-is:            Main.hs
diff --git a/src/Regex/Genex.hs b/src/Regex/Genex.hs
--- a/src/Regex/Genex.hs
+++ b/src/Regex/Genex.hs
@@ -6,7 +6,7 @@
 shortest to longest, with full support for back references ('\1' .. '\9')
 and word boundaries ('\b').
 
-It requires the @yices@ binary in PATH; please download it from:
+It requires the @z3@ or @yices@ binary in PATH. The latter may be downloaded from:
 <http://yices.csl.sri.com/download-yices2.shtml>
 
 -}