html formatter fixes