Doc: we do not use git submodules; fix typo