This is the dumbest kind of pedantry