More bugs in the merge full cross case