small firefox bug fix