Fix a cheat in replCorrect