fix typos in 6.12.1, close #656
errata for d5b2a65
Merge branch 'master' into lemma6.12.1

Conflicts:
	errata.tex
Merge pull request #657 from mikeshulman/lemma6.12.1

fix typos in 6.12.1, close #656