Fixing bugs due to module renaming.