Fixing typos in Lemma 5.2