fix sphinx documentation details, re #10765