We did choose the option for Foreign US, then ignored the critical diagnostic and e-filed. The return has gone through.
