Fix syntax of example config.json.