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