Correct, there is an error, in calculating the 50%. If you manually fix it to $3750. The form 8936 , is filled out incorrectly. IRS, might flag this, and delay your refund. If you don’t catch it, it says, you get back the full amount $7500.
I wish there was a way to manually override the form.
