Fix a minor mistake