Re #10031. Throw exception if not converged.