Minor tweaks to the json pretty-ifier