It sucks to have to remove a player from a group, but it sounds like you made the right call, given what you've said.

Good luck with your gaming!