a little optimisation for the DOM-diff