Fix PHPDocs