Issue #12: make json data file format