Fixes for IE10.