Changed format for dev.json.