Fix PHPDoc