Retirement tax questions

Sorry, the above IRS link doesn't address the issue that we don't have a corrected W-2 from employer. If we had the corrected W-2, we wouldn't have had this issue in the first place.