Fix typo in PHPDoc