Sheng, M.-L. and 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 (Apr. 2019), 392–392. DOI:https://doi.org/10.11646/zootaxa.4577.2.11.