Microsoft finally fixes 5-year old Firefox bug