some XML doc to HTML conversions