minor tweak for Firefox