Minor tweak to "git clone" command.