Ok, now I see why the headline was changed before. Having the words "school" and "shooter" both in a headline really changes the mood.