fix minor docs build warning

14 jobs for fix_docs_warning in 13 minutes and 44 seconds (queued for 1 second)