What do you call a dinosaur with spiked thumbs?

Iguanodon is famous for its thumb spikes. When the first Iguanodon thumb spike was found, it was believed to be a horn, because one of the spikes was missing. Later the error was corrected.