Fix formatter.py