Tweak the pretty-printing