correction affecting lambda completion