When generating the tests I accidentally had some other changes applied. Fix the CHECK lines for current main.