Cuando el error finalmente fue descubierto, una petición fue enviada al ICZN, el cuerpo que gobierna nombres científicos en zoología, que desechó oficialmente el nombre "Halplocanthus" y declaró "Haplocanthosaurus" el nombre oficial según la opinión #1633 de la ICZN.