Updated pretty printer again