Fix tiny bug in Merge.py