Typo fix in PHPDoc