Fix `remove-vertices'` to remove edges ending at the removed