hopefully fixed search in IE - fix #140