Fix PHPDoc typo