Minor fix in map editor