In this day and age you can't be too careful.
As wel las you say it would have looked shockingly rude and unhelpful. Perhaps a letter or phone call to the relevant department of the airline concerned should sort it out, if it was a one-off occurence...