more additions to HTML