Fixed little typo in PHPDoc