The social security tax withheld they reported for 2020 was~$3500, the corrected amount on the 2020 W2-c is ~$5200
