polishing pretty printing