Fix PHPDocs.