Stuff to make Firefox behave sanely