Minor changes in conf.py.