typo
Errata for c4291af
Merge pull request #476 from TimRichter/master

Typo after Lemma 6.4.6