Social Security Tax

As an employer, we withheld $5.85 too much social security from an employee due to a miscalc on group term life insurance--does a w-2c need to be issued, or can credit be taken on their tax return for this overpayment? The employee does not hit the SS limit--wages are 70,000.