pretty printer
add teeth to Pretty printer