close #551
unmarked errata for 54d074e
Merge pull request #552 from mikeshulman/lemma6.12.3

close #551