They system added $10k under line 31270 Home buyers as "Amount claimed by another individual" federal credit. I did not enter this anywhere - what is it??