fix in pretty printer
method output