small modification to improve experience in Firefox