Editor: Correction of "is not IE."