The "lol" was posted as a tension diffuser, to show that I wasn't deeply impacted by the event. Regardless, if I did think it was funny, I'd think it was funny that the event actually connects to my (or more directly, my sister's) life, not that some girl was hurt by this guy.