Taxonomic name: Ceroplatus johannseni (Classification)Distribution after: New Mycetophilidae from North Carolina (Diptera)