Fix a checker because of a previous commit