Fix a Sphinx warning