close #513
unmarked errata for 4c4aee9
Merge pull request #524 from mikeshulman/lemma8.6.2

close #513