Bugfix in JSON Schema file