modify sphinx.py