Tweak wording in the proof of Lemma 7