update html.c formatting