Small change in defaults.py.