Fix a bug on doc/conf.py