fix some Coreproduct merge bugs