Así, ya que Jensen no publicó su propio "Ultrasaurus" hasta 1985, Kim conservó su prioridad oficial del nombre, y Jensen fue forzado a elegir un nuevo nombre (en términos técnicos, su opción original estaba "preocupada" por el saurópodo de Kim).