Use HTML5 too see #8470