Minor bugfix for Map Editor