close #448
unmarked errata for 7d525ce
Merge pull request #467 from mikeshulman/lemma4.2.12

close #448