Small update of HTML5 attributes