#721: config.py, fix minor typo

Resolves #721.