with_html5_tags() doc and test fixup