It seems that an IE bug is fixed