Update html.h