minor change in DiffBuilder