Taxonomic name: Allodia jaschhofi (Classification)Distribution after: Six new species of Afrotropical Allodia (Diptera: Mycetophilidae): DNA barcodes indicate recent diversification with a single origin