Fixing several mistakes in 'Merge' instantiations