kill a bug in IE (that should be a bug everywhere...)