kick of prettyPrint() from codebase; unnecessary