This URL on Turbotax web site confirms how it is supposed to work
https://ttlc.intuit.com/questions/4006656-can-i-still-use-the-american-opportunity-credit-if-i-paid-...
I hope that they fix the bug promptly!
