fix terminate() in Firefox