Am 03.03.2015 um 13:57 schrieb Riccardo (Jack) Lucchetti:
 You're absolutely right. I remember I noticed the same thing back in
 2010 or so and thought to myself "we have to get this fixed", but then,
 there's only something more urgent to do.
 
That's what the bug tracker on sourceforge is there for. I admit I 
should look at and administrate it more often, but I think it's useful 
as an internal to-do list but also as an external documentation resource 
for stuff like this.
One may think that fixing this trivial kind of bug takes no more time 
than posting the bug and thus if the devels do not have the time to fix 
the bug right away, they also don't have time to open a bug report. I 
actually think that it's true psychologically, but I would seriously 
ask: is it really really true that fixing the bug is quicker? Given that 
after the quick change of the source you also have to do some testing 
etc. So please just write a two-liner in the bug tracker and then this 
will not take another five years to fix.
cheers,
sven