produce JSON output in standard format