Prettyprinter aesthetic tweaks.