Minor fix in git config user.name