bugfix in cholesky.c