Fix config.json error found by Travis