Tweaks to Lemmas 6 and 7