Typo after Lemma 6.4.6

Obvious typo, entry in the errata list might not be necessary.