bug with JS in Firefox