escape tags in HTML code example