Just a thought - would they be considered common law married for 2021 and normal marriage for 2022 into the future? If they declared to someone they were married ...that someone could be the IRS!
Then no need to amend
