Add missing <html> tag.