Fix PHPDoc.