Update Sphinx.hs