Unify my names in the book.
typo
Errata for c4291af
Merge pull request #476 from TimRichter/master

Typo after Lemma 6.4.6
errata marker for c4291af