tiny fix in lambda calculus