Bug fix in Firefox