My husband had to repay a retention bonus (about $7500) in 2025 that was paid in 2024. We are in a higher tax bracket in 2025 so I would like to deduct the repayment rather than request a credit. I can't figure out how to do that. There is only an option for a "Claim of Right Repayment Credit." Do I enter it under "Miscellaneous Deductions"?