Fix docs conf.py