Improvements to ResultDiff + doc updated