Fix some Bugs in the JSON Formatting