util.py: Better format