make pretty printer really pretty