Update formatter.py