[#973] Fix a broken Sphinx reference