I wrote a tiny patch to fix it.
patch committed as in trunk/2708.
Bug watches keep track of this bug in other bug trackers.
patch committed as in trunk/2708.