How about nicknames being on the ticket instead of legal names? I mean nicknames equal to CHRIS vs CHRISTOPHER, ALEX vs ALEXANDER, PAT vs PATRICK, or MATT vs MATTHEW?

I have already booked the ticket, and we are within 24 hours, so I could cancel and reissue, but if it isn't going to be a problem, I won't bother.