tiny change for Firefox