Correction of a mistake when merging