fix issue with latest sphinx

Vuillaume requested to merge fix_doc into master Mar 01, 2023