Minor writing nitpicks are worse than useless. The parent comment provided actual information that someone might want to know.