Fix a configuration problem