- remove unused pretty printing code