tiny fix in documentation of git-clone