Fix bug in config.py