fix some logic in view change protocol