Text this: Taxonomic revision of the Ophiocordyceps ravenelii complex (Hypocreales, Ophiocordycipitaceae) from China, with an emended description and a new species