Tiny additional reformatting