The font bug in Firefox is solved