diff-highlight: fix a whitespace nit