Update mysphinx.py