Fix typos in the proof of 2.5.