Filling out the pretty printing code.