Los otros dos tipos, ANSP 9533 y ANSP 9534, permanecieron como lectotipos de "Deinodon horridus".