Tweak pretty-printing