Fix git stupidity