quick fixes in PlainTextDiffPresenter