Small change to JSON formatting