Added XPath code (http://www.w3.org/TR/xpath), updated HTML support and docs, Daniel
diff --git a/HTMLtree.c b/HTMLtree.c
index 0d4b45f..2a05b3e 100644
--- a/HTMLtree.c
+++ b/HTMLtree.c
@@ -37,8 +37,10 @@
     if (cur->ExternalID != NULL) {
 	xmlBufferWriteChar(buf, " PUBLIC ");
 	xmlBufferWriteQuotedString(buf, cur->ExternalID);
-	xmlBufferWriteChar(buf, " ");
-	xmlBufferWriteQuotedString(buf, cur->SystemID);
+	if (cur->SystemID != NULL) {
+	    xmlBufferWriteChar(buf, " ");
+	    xmlBufferWriteQuotedString(buf, cur->SystemID);
+	} 
     }  else if (cur->SystemID != NULL) {
 	xmlBufferWriteChar(buf, " SYSTEM ");
 	xmlBufferWriteQuotedString(buf, cur->SystemID);
@@ -127,7 +129,6 @@
  */
 static void
 htmlNodeDump(xmlBufferPtr buf, xmlDocPtr doc, xmlNodePtr cur) {
-    int i;
     htmlElemDescPtr info;
 
     if (cur == NULL) {