Correct an error in the last commit.