One more edit to the IE article