slightly improved pretty printing