My problem is how it's called today compared to how it used to be called. That definitely would have been called a travel when I was in HS. I think the rule should be that you can take as many steps as you want as long as you actually dribble again without carrying. As you said, he could have technically dribbled again, which I think he should be required to do or it's a travel.