Correct some errors in Sphinx