There is no junior homonym genus Dinophilus Schultze,1849. Nomenclator zoologicus treats mention of Dinophilus ... [details]