Two IE bug fixes