Minor map editor changes

These changes didn't make it into the last pull request.