Better formatting of printing output to stdout