Some tweaks in conf.py