fix a bug related to old diffs