Revert "useless modif"

This reverts commit 3cc7c0f6828b2ff79d4ed14bddac7a29a6a1af83.