Mention recently fixed bugs concerning LambdaToAlligator