Fix python/formatter.py