Minor bugs in settings.py.