I'm not against a fix at all. I think it would be great, and if it's a low-hanging fruit, all the better. I still think it's such a small difference that time should probably be spent elsewhere. But like you said, the squeaky wheel gets the grease. So it's fair game if enough people care.
