some improvements for IE10 are made