Small bug in config.py