change json pretty print tool
more terse json formatting