fixing a firefox bug