fix #514
parentheses in (k+1)-type
unmarked errata for a757864
Merge pull request #525 from mikeshulman/lemma8.6.1

Lemma8.6.1