Another forgotten submodule