Minor Lemma 8 cleanup