You did the right thing. If they were just loitering outside the store, maybe throwing out the occasional cuss word, I wouldn't have given it a second thought (pretty normal teenage behavior). But, there is no excuse for a guy whacking a girl upside the head like that.