Fixing typo for HTML5 standard