json: tighten up printing