Fix again the stressProof test.