diff --git a/picosat.cabal b/picosat.cabal
--- a/picosat.cabal
+++ b/picosat.cabal
@@ -1,5 +1,5 @@
 name:                picosat
-version:             0.1.1
+version:             0.1.2
 synopsis:            Bindings to the PicoSAT solver
 homepage:            https://github.com/sdiehl/haskell-picosat
 license:             MIT
@@ -9,7 +9,7 @@
 copyright:           2014 Stephen Diehl
 Category:            Logic
 build-type:          Simple
-cabal-version:       >=1.20
+cabal-version:       >=1.10
 tested-with:         GHC == 7.6.1, GHC == 7.6.3, GHC == 7.8.3
 extra-source-files:  
   cbits/picosat.h
@@ -28,7 +28,7 @@
 
   ghc-options:        -Wall -O2 -fwarn-tabs
   cc-options:         -funroll-loops
-  build-depends:      base >=4.6 && <4.7
+  build-depends:      base >=4.6 && <4.8
   default-language:   Haskell2010
   Hs-source-dirs:     src
   Include-dirs:       cbits
diff --git a/src/Picosat.hs b/src/Picosat.hs
--- a/src/Picosat.hs
+++ b/src/Picosat.hs
@@ -13,7 +13,7 @@
 > 2 4 5 0
 > 4 6 0
 
-We feed this list to the SAT solver using the 'solve' function either in IO or ST monad.
+We feed this list of clauses to the SAT solver using the 'solve' function.
 
 @
 import Picosat
@@ -37,11 +37,9 @@
 
 @
 import Picosat
-import Control.Monad.ST
 
-main :: [Int]
-main = runST $ do
-  solveAllST [[1,2]]
+main :: IO [Int]
+main = solveAll [[1,2]]
   -- [Solution [1,2],Solution [-1,2],Solution [1,-2]]
 @