Slightly improve -ddump-hi-diffs output