bugfix: Sphinx config