Taxonomic name: Platyura palmi (Classification)Distribution after: Some new species of western Mycetophilidae (Diptera)