Tweaked code style in config.py.