Makranczy, G. Trogophloeus tripunctulatus Coiffait, 1981, a New Synonym of Carpelimus insularis (Kraatz, 1858) (Coleoptera: Staphylinidae: Oxytelinae). Zootaxa 2013, 3652, 297–298.