Fix warning in doc generation

12 jobs for doc_fixups in 13 minutes and 21 seconds (queued for 2 seconds)