Workarounds for Firefox bugs.