Let us try pretty printing