Fix an issue under IE11