Fix a mistake for the below commit