Fix a bug in the git clone.