Sheng, M.-L. & Jennings, J.T. (2019) Ichnoverruca nom. nov., a replacement name for the genus Verruca Sheng & Sun, 2018 (Hymenoptera, Ichneumonidae) non Schumacher, 1817. Zootaxa, 4577 (2), 392–392.