Minor bugfixes for IE