Small fix in doc configuration

  modified:   doc/conf.py.in