Fix a wrong replacement made in the last commit