Fixed a pernicious Firefox bug