Small addition to lemmas