Purely automatic change. In case of conflict with this change, apply the other change and rerun the formatting to restore it: $ python scripts/fix_style.py
This works by utilizing the good old UUIDs – this way we can make sure that we don't clash with other people extending the map format.