Yes. As you have discovered, the AOTC is only for 4 years even though students typically attend undergraduate school for 5 calendar years. You could file an amended 2015 return and remove the tax credit, but keep in mind that the credit maxes out at $2500, and that when he is a senior, you could still qualify for the Lifetime Learning Credit or the Tuition and Fees deduction.