Add nice pretty-printing in the end