"Lithostrotia" refers to the presence of dermal armor.
Oh.
David Marjanovic wrote:
Oh, and I made a typo when I wrote-
That was Mickey.
"Ingeniinae" will have to be replaced anyway, on account of the preoccupied
dinosaur genus _Ingenia_. (You know, Dinosauria II might have been a
perfect opportunity to put forward a new genus name.)