No it's not income. It can be a federal Deduction on Schedule A if he itemizes and doesn't take the Standard Deduction. But he is probably taking the Standard Deduction. Just ignore it. Check the actual federal return. It shouldn't show up anywhere.
