For the section "Credit for Retirement Savings Contribution" do I list a distribution I made in 2015 from a 401k if I have already claimed it for 2015 and paid the taxes