minor fix on config.py