This isn't a ticket. This is a credit. There is a world of difference. If this is a larger employer with a corporate TA, as part of processing the employee out, the credits should have been transferred. Other companies look at smaller amounts as small stuff and let it go.

Not everybody leaves on bad terms.