Tweak pretty printers