Fix documentation

4 jobs for theo-conf-inter in 29 minutes and 16 seconds (queued for 10 seconds)
Status Name Job ID Coverage
  Build
passed build_linux_27 #127114
docker

00:09:25

57.0%
passed build_linux_36 #127115
docker

00:09:02

57.0%
passed build_macosx_27 #127116
macosx

00:19:08

57.0%
passed build_macosx_36 #127117
macosx

00:16:37

57.0%