Is that a bug in Diff mode or just a display artefact?

Steve Berman