minor config.py tweak