add pretty printer