Added pretty print to facilitate debuging