Fix bug with size annotation of lambdas.