Correction to atomic evaluation with class invariants