typo in proof of lemma 2.7.2
unmarked errata for ba035f6
oops
Merge pull request #580 from mikeshulman/refl

typo in proof of lemma 2.7.2