Das steht dort bei allen. Das hängt verm. damit zusammen, dass die Tucson-Bezeichnung mal geändert wurde in IX35 (in der 2. Generation) und später dann wieder gewechselt wurde (3. Generation). In manchen Ländern heißt er wohl immer noch IX35. Unser Kona heißt in bestimmten Ländern z.B. Kauai. Da stehen auch beide Namen im Fahrzeugschein.
In Addition zum Thema: Die europäische Version heißt NX4e. Die internationale Version nur NX4, welcher einen längeren Radstand hat (und damit insgesamt länger ist) und sich auch in der Motorisierung stark vom NX4e unterscheidet.