Fix a minor error