It's not a bug. I don't know of any tax software that accepts NRA in place of the spouse's SSN. It might be that the IRS doesn't accept it for e-filing.
