First version of pretty printing