voteToHalt and some debugging