Fixed bug with merge non-synch + new cmp function (agreed with Thasso + Paolo )