fix prettyPrint;