miscellaneous corrections pertaining to lambda abstraction