#671: config.py, undo changes from 26f6b75

Resolves #671.