Related to pull request #7580 - add missing word "have" from docs