IRS targeting of Tea Party groups continued for longer than thought?