Lambda formals bug