Trivial reformatting of output