Absolutely correct. What is important to remember here is that they were on staff travel tickets. Most airlines impose dress codes for staff travel. They have already been relaxed a little in past years but there's a limit. I remember when I had to travel wearing a shirt, tie and jacket and most definitely no jeans.