... in the case where no change of the DOM tree actually happened.

We don't do anything yet with that information, this patch just
correctly computes it.