Correct an optimization.