Another fix in gtkhtml code