Was this okay for him to say?

Were these comments okay for my boyfriend to make to a work colleague? They just sound a bit flirtly and he told me that he went back to work to check if his wallet was there (he did lose it so that's believable). A few minutes later she replied with ":/" which to me implies she got a bit uncomfortable too.. should I ask him about it or just leave it?
Thanks