Simplify the HTML in/out: now need an <html> tag.