fixing highly confusing typo.
Merge pull request #9074 from michaelaye/fix_typo_in_webdoc

fixing highly confusing typo.