Minor fix for IE11