small changes for Firefox