Slightly prettier on the output format