I’m 5’2” and often make jokes about challenges of being short with people, if they are short more so as we both know what it feels like.
Having said that I’m more careful what I say to shorter men as I’m aware some men get self conscious about height.
But no, I think it sounds like a friendly exchange.