DiffHighlighter: small codefix.