Nachname im Flugticket doppelt - ist es schlimm?

Hallo, wir haben 2 Tickets bestellt für einen Fernflug nach Asien mit der Fluggesellschaft Thai Airways. Nun ist uns aufgefallen, dass bei mir der Nachname doppelt dargestellt ist. Wir können es uns nicht erklären und vermuten, dass beim zweiten Namen die Autofill Funktion aktiv war. Statt Michael Müller steht nun Michael Müller Müller. Bei Trip. com heißt es nun, dass die Namen gemäß den Richtlinien der Fluggesellschaft generell nicht geändert werden können und eine Stornierung empfehlenswert ist. Das will ich aber vermeiden, da der Fernflug ziemlich teuer ist und es nur um diesen Fehler geht. Wie schlimm ist das nun wirklich. Sämtliche Namen bei Vornamen und Nachnamen stimmen exakt überein. Nur dieser zweite Nachname bereitet mir Kopfschmerzen. Kann es sein, dass Fluggesellschaften einem den Flug verwehren wegen dem Fehler? Hat jemand schon Erfahrung gesammelt?