Tidy up some extension submodules