It looks like the IRS will be adding a Recovery Rebate Credit on all their 2020 1040 forms for people who didn't receive the correct amount of Stimulus - or any at all.  Unfortunately, I was told that the 1040x will not help this situation, but I am going to keep checking on it anyway.