very minor change to conf.py