fix import error in docs/source/conf.py