Add <ins>...</ins> markup to Jonathan's change.