Small fix in merge.py