Update 6.1.2-HTML5.tex