visual changes to the JSON encoding