upgrade to Sphinx 1.2