Some renamings and clarifications