fix an erroneous comment