Change wording of a couple lemmas to make consistent with the rest.