fix Sphinx version