minor changes to the sphinx documentation for the web