a little fix for a little optimisation for a DOM-diff which was written
by Jack