Correct a minor error