Proper formatting of JSON example