Use formatting.py

Didn't see that there...