Cosmetics: Do some basic pretty-printing.