When they continue to be abusive after a warning it doesn't really matter where mechanically the actual trigger was pulled. It was the right call. It was a late call, in my opinion. I'd have banned him at the "cut off his hands" comment with no warning and now recourse. But again, late or not, it was the right call. No project should have to tolerate bullies. They are toxic to the project and they should be excised as soon as possible.