Fix a configuration bug