Minor fixes to lemmas