Fixing issue with initial coral.json syntax.