typos in Lemma 6.12.7, close #573