Fix differences between generated JSON and example JSON