fixup bb768e84862241b9a1790b5075729e14620c1435

See github conversion here:
https://github.com/wesnoth/wesnoth/commit/bb768e84862241b9a1790b5075729e14620c1435