You’re right! My bad.
As an aside. Soon after it happened, my wife and I were at Dulles with our young daughter to watch the planes take off. Over the loudspeaker system came this, “Mr. Khomeini, Mr. Ayatollah Khomeini, please meet your kamikazi pilot at the end of the runway for immediate departure.” The people around us smiled but no one said anything.