fix a firefox bug