lambda-calculus: minor fix