small cleanup on abstraction lemma