hopefully this settles the question of bugs in template prettyprinting