prettyPrint() becomes not required.