Fixed git clone in documentation. See #2414