Some renamings