added a custom pretty printer