Remove some PHPDocs