Nomen novum for Verruca Sheng & Sun in Sheng et al., 2018, non Verruca Schumacher, 1817 (Cirripedia). [details]
Junior homonym of Verruca Schumacher, 1817 (Cirripedia); replacement name is Ichnoverruca Sheng & Jennings, 2019. [details]