revised Sphinx documentation