Fix a Sphinx rendering error