corrected bug #5 (concerning git clone command)