It is strange that the upgrade has been ticketed but the mileage is not deducted. Normally the economy ticket is cancelled at the same time as the mileage is deducted.
Ask for them to email you a copy of the e-ticket. If you receive it, you should be fine.
He's more than fine, he has an upgrade without losing the miles...
