In the library with his girlfriend.
This is really not good. Girls are more sensitive, and she easily takes jokes seriously. If a girl she doesn't know sends you a message and you don't let her know, she will think that you have something with other girls, or that you are not serious about falling in love with her, so please coax her and make things clear. But don't get excited. I'm sure she'll understand you. Next time, you'd better not make such a joke.