Added pretty-print function