Fixing bugs in Firefox