Update whtml_formatter.h