Interesting, one thing that strikes me is the OP indicated they had checked bags anyway ... and I think we all get the reason why short checking bags is not permitted, but the already checked bags would indicate the passengers were not using hidden city ticketing. Supervisor obviously used common sense.