A range extension of Heterocladium flaccidum (Schimp.) A.J.E.Sm. to Africa and Asia and confirmation of its specific individuality