Thing is, it’s not a double dribble for him to tap the ball and keep the dribble going. It’s only a double dribble because he picked up the ball with two hands and then started a new dribble.