Not sure if the 8379 is the best option ... and it will take months to process even if they will allow the change. The other option will be to wait and get the credit on the 2020 return you will file next year.
If you have the 2018 program you could use it to populate the 8379 otherwise getting local professional assistance may be what you need to use.
