Clarifying submodule addition