What I am reading is that he did complete the W-4 correctly because he wanted that much tax withheld to cover the rest of his non-excluded earnings (or the amount that exceeds the exclusion).  For all we know at this point, he still owes tax even after withholding.  File a paper return, which may be inconvenient from a foreign address, and chalk up another victory for the e-file police.