Update json-format-specification.md