fixes to sphinx documentation