Some tiny json-format fixes. Typo fix