minor firefox-x11 tweak