User-friendliness tweak in merge