Cleanup of SealModule.cc