converted example file to valid JSON

- converted to valid JSON
- autoformatted