Fix a couple of issues with Lemma 7.5.12
unmarked errata for f46dfd8
Merge pull request #731 from mikeshulman/lemma7.5.12

Fix some problems with Lemma 7.5.12