fix pretty printing of json