#721: config.py, fix typo