Oh you are right.
"Interest (including OID) received by U.S. nonresidents on obligations of the U.S. government (e.g., Treasury bills, notes and bonds) which were issued after July 18, 1984 (âportfolio interestâ obligations) is generally exempt from U.S. withholding tax, as long as a Form...