fix problem with navigator variable, makes it work in IE10