Avoid avoidable object allocation in prettyPrint().