Update HTML.h