corrections affecting nested lambda abstractions