modifications by Élie