Taxonomic name: Leptomorphus babai (Classification)Distribution after: Japanese Fungivoridae II. New or little-known fungus gnats, with descriptions of five new species