The extra standard deduction for people age 65 and older