Wording tweaks in the 2.8 proof.