pretty printer ammended