Yes, if you added other money to return to the account to cover the taxes withheld then it is the correct choice.
For example, you had a $10,000 distribution and had $1,000 tax withheld. Then you will have the add $1,000 from other funds to get to a $10,000 rollover amount.