Minor fix in an attempt to fix git error