manual typo fixes
manual typo fixes

Small fixes to correctly specify matrix dimensions.
fredrik-johansson/flint2,wbhart/flint2,wbhart/flint2,wbhart/flint2,fredrik-johansson/flint2,fredrik-johansson/flint2