I probably would have left it at total nutcase and done nothing until they started saying they may be carrying a sidearm. I think you did the right thing by mentioning it to the gate agent.