Workaround for Firefox bug.