The increase in Social Security taxes paid from the W-2C does not need to be reported on an amended tax return.
This would only have to be reported on an amended tax return if he had two or more employers in 2020 and the total of all Social Security taxes paid was greater than $8,537.40