Clean up PHPDocs