more updates to sphinxdoc