Most likely it was just an accident, and in that case, simply correct them and let it go. It can be an easy mistake to make. It's only a problem if it happens repeatedly, and intentionally.
English
-
No, it was intentional and malicious
-
Ah, in that case, it should bother you even less. Says more about them than you. If it becomes a problem, just mute 'em and move on, maybe report them to a mod if this is a group Discord. I'd recommend avoiding causing a scene. You'll end up just making yourself look like the bad guy.