Yes, that is correct.
If you were reimbursed the full rate, there is no need to
claim the mileage on your return to get credit for the difference in the IRS
rate and the amount you received. Also,
if the reimbursement was not taxed there is no need to claim it as a reduction
to your income.