Minor, hopefully innocuous, cleanups to Execution::ModuleInitializer code