Fixes and workarounds for IE 10