improved pretty printing