. . . "Clavulinopsis depokensis" .