I think that you were quite right to have doubts.
You can't turn a ball in play into a provisional ball and play it according to the rules governing provisional balls just for expediency sake. As soon as the ball was played it was, in my opinion, the chosen ball and the ball in play, and the longer drive ball should have been picked up.
Go on, someone tell me I'm wrong!
