Since this happened only once, I wouldn’t say anything either. If it continues on a steady basis, I’d have a talk with him in a non-judgemental way and see if there is a problem with him as it could very well be a mental problem.
If you discern that he’s normal, but not a baal middos, then in a polite way, I’d make him aware that his behavior can be disturbing to others.