[#943] Fix a Sphinx error