Slightly prettier output formatting