bad correction of result() in chol factorization to avoid Wshadow