minor fix of unproxying
added recursive diff below non-equivalent nodes