Fixes a JSON syntax bug