If I recall correctly, some companies can also add additional benefits that are paid for by the employer but administered through the insurance company. I don’t know if that might be what happened here.