Minor changes to conf.py