Fix a mismerge