Family: Ichneumonidae

Genus: Ichnoverruca Sheng & Jennings (nom. nov.)

Replacement name for Verruca Sheng & Sun, 2018 .

Verruca Sheng & Sun, 2018 (junior homonym of Verruca Schumacher, 1817)

Zootaxa 4413 (3): 542 (Insecta, Hymenoptera)

Type species: Verruca dentia Sheng & Sun, 2018: Zootaxa 4413 (3): 543 by original designation.