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
Previous execution time: 650 ms / 661 ms total (98%) Now: 3 ms / 15 ms total (20%)