this regex would match IE 10+ while it does not match IE9. Is it intended ?