bug in JSON output