fix format.py