safety against applying an empty diffset