docs: fix a copy-and-paste error#13001

jsquyres merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

jsquyres:pr/minor-docs-tweakjsquyres/ompi:pr/minor-docs-tweakCopy head branch name to clipboard