Small improvements to lambda the ultimate section