Make copy-overs of lemmas work correctly