tidy the git cloning instructions.