JSON format specification, fixed #358.