Restore deleted extra line from firefox.js.