Workaround for IE10