Code review comment for lp:~hjd/widelands/bug717749

I am pro this change, but it isn't based on trunk, but on a eralier revision of the martin_i18n branch. It contains another commit by Jari that is not related to this change.

Therefore, i manually commmited the diff to trunk in r5828. This branch can therefore be set to merged or discarded.