diff.empty: diff.empty
