Fixing a Firefox bug