config.py: this fixes #24