Customize the JSON output as described in issue #9