fix a Sphinx warning