Fix crash of LambdaS5's tests.