Correct bug in InitModule.