Debido a que nombre "Tylosteus" precede a "Pachycephalosaurus", de acuerdo con las reglas de ICZN este debería ser el usado.