Edit: diff-trees.js