Fix git merging