Refinement of JSON output