added beginning of JSON output