Make html linter happy

Continue #1081