Fix namespace in PHPDoc.