fix syntax in conf.py