fix prettyprinting