[ html ] Tidy changes.