Further Firefox fix.