Fix documentation of submodule_add