Minor bugfix in naming of saved metric map data