more renamings