DOMA and tax filings