CR change: cleaned up PHPDocs