Correct a bug in the last commit.