Comment 12 for bug 1014876

I guess you can open a bug on bugzilla.gnome.org about that if you feel strongly about it ;-) (it's too minor of an issue to be likely that somebody in the desktop team will be wanting to deal with that)