Fix an incorrect comment