re-implemented <html> wrapper