Fix an erroneous comment.