Fixes to Sphinx documentation