Normally taxpayer would have to pay back his APTC, but this year it is waived.  Form 8962 still shows the premium repayment and that he needs to add it to his tax liability.