diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,9 @@
+Bindings to the Coin/CBC integer linear programming solver
+========
+
+This package provides bindings to the CBC library.
+These bindings work for simple programs, but might not be suitable for production use: see issues #7 and #8.
+
+In some cases, you may be better off pretty-printing the program with Numeric.Limp.Canon.Pretty in the limp package, writing the resulting program to file, and passing it to the external program.
+I hope to update this library to solve via the external program soon.
+
diff --git a/changelog b/changelog
new file mode 100644
--- /dev/null
+++ b/changelog
@@ -0,0 +1,3 @@
+0.3.2.3, 2018/11/13:
+	* Update dependencies
+	* Add caveat about potential segfaults and speed problems.
diff --git a/limp-cbc.cabal b/limp-cbc.cabal
--- a/limp-cbc.cabal
+++ b/limp-cbc.cabal
@@ -1,9 +1,11 @@
 name:                limp-cbc
-version:             0.3.2.2
+version:             0.3.2.3
 synopsis:            bindings for integer linear programming solver Coin/CBC
-description:         very simple binding to external solver, CBC.
+description:         Bindings to external solver, CBC.
                      CBC is somewhat faster than GLPK, and also has a more permissive licence.
-                     relies on coin/cbc version 2.8.6.
+                     Relies on coin/cbc version 2.8.6.
+                     This package has a few caveats: invalid programs can cause segfaults, and the library-based solver is slower than the command-line based one.
+                     See https://github.com/amosr/limp-cbc for details.
 
 license:             MIT
 license-file:        LICENSE
@@ -15,6 +17,8 @@
 homepage:            https://github.com/amosr/limp-cbc
 
 extra-source-files:
+  README.md
+  changelog
   cbits/Cbc.h
   cbits/coin/Cbc_ampl.h
   cbits/coin/Cbc_C_Interface.h
@@ -279,10 +283,10 @@
         Numeric.Limp.Solvers.Cbc.Internal.Foreign
         Numeric.Limp.Solvers.Cbc.Internal.Wrapper
   build-depends:
-        base        >= 4.9 && < 5,
-        containers  == 0.5.*,
+        base        < 5,
+        containers  >= 0.5 && < 0.7,
         vector      >= 0.10 && < 0.13,
-        limp        == 0.3.2.2
+        limp        == 0.3.2.3
 
   ghc-options: -Wall -fno-warn-orphans
   default-language: Haskell2010
diff --git a/src/Numeric/Limp/Solvers/Cbc/Internal/Foreign.chs b/src/Numeric/Limp/Solvers/Cbc/Internal/Foreign.chs
--- a/src/Numeric/Limp/Solvers/Cbc/Internal/Foreign.chs
+++ b/src/Numeric/Limp/Solvers/Cbc/Internal/Foreign.chs
@@ -4,6 +4,8 @@
 import Foreign
 import Foreign.C
 
+import Control.Applicative
+
 import qualified Data.Vector.Storable as V
 import Data.Vector.Storable (Vector)