start fixing pretty_printer
fix pretty printer