#67: Convert to HTML5 tag