Merge pull request #476 from TimRichter/master

Typo after Lemma 6.4.6
errata marker for c4291af