JSON file formatting