--- com/icl/saxon/tinytree/TinyNodeImpl.java~	2001-06-05 23:13:52.000000000 +0300
+++ com/icl/saxon/tinytree/TinyNodeImpl.java	2004-07-19 20:56:23.212127703 +0300
@@ -60,6 +60,8 @@
     public boolean isSameNode(NodeInfo other) {
         if (this==other) return true;
         if (!(other instanceof TinyNodeImpl)) return false;
+        // http://saxon.sourceforge.net/saxon6.5.3/limitations.html
+        if (this.getNodeType() != other.getNodeType()) return false;
         return this.document==((TinyNodeImpl)other).document &&
              this.nodeNr==((TinyNodeImpl)other).nodeNr;
     }