Editing: DiffElem.php