Correct a minor error.