Bug fix in safe cholesky