Minor PHPdoc fix
Minor PHPdoc fix

* origin/pr/11158:
  Minor PHPdoc fix