module renamings