The name "Dinosauromorpha" was briefly coined by Michael J. Benton in 1985. It was considered an alternative name for the group "Ornithosuchia", which was named by Jacques Gauthier to correspond to archosaurs closer to dinosaurs than to crocodilians. Although "Ornithosuchia" was later recognized as a misnomer (since ornithosuchids are now considered closer to crocodilians than to dinosaurs), it was still a more popular term than Dinosauromorpha in the 1980s. The group encompassed by Gauthier's "Ornithosuchia" and Benton's "Dinosauromorpha" is now given the name Avemetatarsalia.