Typo and whitespace fixes in the 2.8 proof.