diff --git a/THANKS.md b/THANKS.md
--- a/THANKS.md
+++ b/THANKS.md
@@ -92,7 +92,7 @@
 
 - Carter Schonwald helped with the configuration for Homebrew OS X and
   found a tolerance problem in test "1E5 rots". He also discovered
-  a bug in the signature of cmap.
+  a bug in the signature of cmap and fixed the cabal file.
 
 - Duncan Coutts reported a problem with configure.hs and contributed
   a solution and a simplified Setup.lhs.
@@ -178,4 +178,8 @@
 - "yongqli" reported the bug in randomVector (rand() is not thread-safe and drand48_r() is not portable).
 
 - Kiwamu Ishikura improved randomVector for OSX
+
+- C.J. East fixed the examples for simplex.
+
+- Ben Gamari contributed fixes for ghc 7.10
 
diff --git a/hmatrix.cabal b/hmatrix.cabal
--- a/hmatrix.cabal
+++ b/hmatrix.cabal
@@ -1,5 +1,5 @@
 Name:               hmatrix
-Version:            0.16.1.3
+Version:            0.16.1.4
 License:            BSD3
 License-file:       LICENSE
 Author:             Alberto Ruiz
@@ -35,6 +35,7 @@
 flag openblas
     description:    Link with OpenBLAS (https://github.com/xianyi/OpenBLAS) optimized libraries.
     default:        False
+    manual: True 
 
 library
 
diff --git a/src/Numeric/Chain.hs b/src/Numeric/Chain.hs
--- a/src/Numeric/Chain.hs
+++ b/src/Numeric/Chain.hs
@@ -12,6 +12,8 @@
 --
 -----------------------------------------------------------------------------
 
+{-# LANGUAGE FlexibleContexts #-}
+
 module Numeric.Chain (
                       optimiseMult,
                      ) where
diff --git a/src/Numeric/LinearAlgebra/Static.hs b/src/Numeric/LinearAlgebra/Static.hs
--- a/src/Numeric/LinearAlgebra/Static.hs
+++ b/src/Numeric/LinearAlgebra/Static.hs
@@ -184,8 +184,8 @@
 type Sq n  = L n n
 --type CSq n = CL n n
 
-type GL = (KnownNat n, KnownNat m) => L m n
-type GSq = KnownNat n => Sq n
+type GL = forall n m. (KnownNat n, KnownNat m) => L m n
+type GSq = forall n. KnownNat n => Sq n
 
 isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int))
 isKonst s@(unwrap -> x)