added pretty printing of JSON