Small fix in the JSON schemas on export