Weirdness with leftover submodule