small update to HTML5