Fix a Sphinx error