fix typos, close #595
unmarked errata for 4818f12
Merge pull request #596 from mikeshulman/lemma6.12.4

fix typos, close #595