Fix the wrong fixing of the previous commit