Fix a bug in config.py.