Fixing PHPDocs