Fix git merging bugs