Some minor Sphinx config changes