Here and in the two cases above, I think it makes more sense to pass in `diff_symbol` via `%s`, just like the other strings.