Making HTML file an HTML5 file