Implemented some more pretty printing stuff...