correct a git command mistake