Sheng, M.-L.; Jennings, J. T. Ichnoverruca Nom. nov., a Replacement Name for the Genus Verruca Sheng &Amp; Sun, 2018 (Hymenoptera, Ichneumonidae) Non Schumacher, 1817. Zootaxa 2019, 4577, 392–392.