correction affecting divergence checking