#721: config.py, fix minor typo