2 files changed, 3 insertions, 2 deletions

diff --git a/packages/base/src/Internal/Algorithms.hs b/packages/base/src/Internal/Algorithms.hs
index 1ca373f..f5bddc6 100644
--- a/packages/base/src/Internal/Algorithms.hs
+++ b/packages/base/src/Internal/Algorithms.hs
@@ -522,7 +522,7 @@ eig = {-# SCC "eig" #-} eig'
 -- Eigenvalues are represented as pairs of alpha, beta, where eigenvalue = alpha / beta. Alpha is always
 -- complex, but betas has the same type as the input matrix.
 --
--- If @(alphas, betas, v) = geig a b@, then @a \<> v == diag (alphas / betas) \<> b \<> v@
+-- If @(alphas, betas, v) = geig a b@, then @a \<> v == b \<> v \<> diag (alphas / betas)@
 --
 -- Note that beta can be 0 and that has reasonable interpretation.
 geig :: Field t => Matrix t -> Matrix t -> (Vector (Complex Double), Vector t, Matrix (Complex Double))
diff --git a/packages/base/src/Internal/LAPACK.hs b/packages/base/src/Internal/LAPACK.hs
index c9f5d0f..ff55688 100644
--- a/packages/base/src/Internal/LAPACK.hs
+++ b/packages/base/src/Internal/LAPACK.hs
@@ -307,9 +307,10 @@ fixeig _ _ = error "fixeig with impossible inputs"
 -- can be different. Therefore old 'fixeig' would fail for 'eigG'.
 fixeigG  []  _  = []
 fixeigG [_] [v] = [comp' v]
-fixeigG ((ar1:+ai1) : an : as) (v1:v2:vs)
+fixeigG ((_:+ai1) : an : as) (v1:v2:vs)
     | abs ai1 > 1e-13 = toComplex' (v1, v2) : toComplex' (v1, mapVector negate v2) : fixeigG as vs
     | otherwise = comp' v1 : fixeigG (an:as) (v2:vs)
+fixeigG _ _ = error "fixeigG with impossible inputs"
 
 -- | Eigenvalues of a general real matrix, using LAPACK's /dgeev/ with jobz == \'N\'.
 -- The eigenvalues are not sorted.