config.py: Minor cleanup