a number of fixes for IE11