Added pretty printing.