Better pretty-printing.