typo in proof of lemma 2.7.2