minor fix in git remote add origin command