Run format.py