fixes mapbender/mapbender#3