Fix a Sphinx warning.