Fix docs building; now Sphinx 1.2.1 can build docs.