Modification trivial
Revert "Modification trivial"

This reverts commit ee63a460ca36ac7060eca0e55cf936718088f499.