Revised notation in proof of Lemma 3.4.2