Fix some spacing in SphinxWrap.py