Small changes to make it work in IE