Correct a minor bug.