fix error in docs/source/conf.py