minor fixes for Firefox