Poco después Wermuth optó por usar Crocodylia como nombre más adecuado para describir el grupo, basándose en el nombre del género tipo "Crocodylus" (Laurenti, 1768).