Update formatting.py